Siirry suoraan sisältöön
Computational Aspects of an Order-Sorted Logic with Term Declarations
Tallenna

Computational Aspects of an Order-Sorted Logic with Term Declarations

Painos
1989 ed.
ISBN
9783540517054
Kieli
englanti
Paino
310 grammaa
Julkaisupäivä
20.9.1989
Sivumäärä
174