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
Verlag
Springer Verlag
Erscheinungsdatum
1990
Sprache
Englisch
ISBN 10 
0387517057
ISBN 13 
9780387517056
Einband
Taschenbuch
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Deutschland

Weitere beliebte Ausgaben desselben Titels

9783540517054: Computational Aspects of an Order-Sorted Logic with Term Declarations (Lecture Notes in Computer Science, 395, Band 395)

Vorgestellte Ausgabe

ISBN 10:  3540517057 ISBN 13:  9783540517054
Verlag: Springer, 2008
Softcover