Computational Aspects of an Order-Sorted Logic with Term Declarations - Softcover

Schmidt-Schauß, Manfred

 
9783662199572: Computational Aspects of an Order-Sorted Logic with Term Declarations
Softcover
ISBN 10: 3662199572 ISBN 13: 9783662199572
Verlag: Springer, 2014

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Inhaltsangabe

Foundations.- Various extensions.- Unification of uninterpreted sorted terms.- Unification of equationally interpreted sorted terms.- Sorted resolution-based calculi.- References.

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

Verlag
Springer
Erscheinungsdatum
2014
Sprache
Englisch
ISBN 10 
3662199572
ISBN 13 
9783662199572
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: 395 (Lecture Notes in Computer Science, 395)

Vorgestellte Ausgabe

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