Logic Programming: Operational Semantics and Proof Theory (Distinguished Dissertations in Computer Science, Band 4) - Hardcover

Andrews, James H.

 
9780521432191: Logic Programming: Operational Semantics and Proof Theory (Distinguished Dissertations in Computer Science, Band 4)
Hardcover
ISBN 10: 0521432197 ISBN 13: 9780521432191
Verlag: Cambridge University Press, 1993

Inhaltsangabe

A homogeneous treatment of the semantics of both theoretical and practical logic programming languages.

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

Verlag
Cambridge University Press
Erscheinungsdatum
1993
Sprache
Englisch
ISBN 10 
0521432197
ISBN 13 
9780521432191
Einband
Gebundene Ausgabe
Anzahl der Seiten
104
Kontakt zum Hersteller
Nicht verfügbar
Verantwortliche Person
Avery
https://www.avery.fr/

chemin des peupliers 27
Dardilly
Frankreich

Weitere beliebte Ausgaben desselben Titels

9780521607544: Logic Programming: Operational Semantics and Proof Theory (Distinguished Dissertations in Computer Science, 4, Band 4)

Vorgestellte Ausgabe

ISBN 10:  052160754X ISBN 13:  9780521607544
Verlag: Cambridge University Press, 2008
Softcover