Foundations of Equational Logic Programming - Softcover

Hölldobler, Steffen

 
9783662162132: Foundations of Equational Logic Programming
Softcover
ISBN 10: 366216213X ISBN 13: 9783662162132
Verlag: Springer, 2014

Zu dieser ISBN ist aktuell kein Angebot verfügbar.

Inhaltsangabe

Preliminaries.- Equational Logic Programming.- Universal Unification.- SLDE-Resolution.- Paramodulation.- Universal Unification by Complete Sets of Transformations.- Lazy Resolution and Complete Sets of Inference Rules for Horn Equational Theories.- Conclusion.

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

Verlag
Springer
Erscheinungsdatum
2014
Sprache
Englisch
ISBN 10 
366216213X
ISBN 13 
9783662162132
Einband
Paperback
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Nicht verfügbar

Weitere beliebte Ausgaben desselben Titels

9783540515333: Foundations of Equational Logic Programming: 353 (Lecture Notes in Computer Science)

Vorgestellte Ausgabe

ISBN 10:  354051533X ISBN 13:  9783540515333
Verlag: Springer, 2008
Softcover