Gå direkt till innehållet
Computational Aspects of an Order-Sorted Logic with Term Declarations
Spara

Computational Aspects of an Order-Sorted Logic with Term Declarations

Lägsta pris på PriceRunner
Upplaga
1989 ed.
ISBN
9783540517054
Språk
Engelska
Vikt
310 gram
Utgivningsdatum
1989-09-20
Sidor
174