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)

Inhaltsangabe

Book by SchmidtSchauss M

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

Weitere beliebte Ausgaben desselben Titels

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

Vorgestellte Ausgabe

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