Verwandte Artikel zu Computational Aspects of an Order-Sorted Logic With...

Computational Aspects of an Order-Sorted Logic With Term Declarations (Lecture Notes in Computer Science) - Softcover

Schmidt-Schauss, M.

 
9780387517056: Computational Aspects of an Order-Sorted Logic With Term Declarations (Lecture Notes in Computer Science)
Softcover
ISBN 10: 0387517057 ISBN 13: 9780387517056
Verlag: Springer Verlag, 1990

Inhaltsangabe

Book by SchmidtSchauss M

Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.

Verlag
Springer Verlag
Erscheinungsdatum
1990
Sprache
Englisch
ISBN 10 
0387517057
ISBN 13 
9780387517056
Einband
Tapa blanda
Anzahl der Seiten
568
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar