Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
EUR 58,56
Anzahl: Mehr als 20 verfügbar
In den WarenkorbZustand: New. In.
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Taschenbuch. Zustand: Neu. Druck auf Anfrage Neuware - Printed after ordering - Contents: Introduction.- Theorem proving and P-functions.- Grammars, logics and declarative programming.- Grammars and Semantics.- Bibliography.
Anbieter: preigu, Osnabrück, Deutschland
Taschenbuch. Zustand: Neu. From Logic Design to Logic Programming | Theorem Proving Techniques and P-Functions | Dominique Snyers (u. a.) | Taschenbuch | iv | Englisch | 1987 | Springer | EAN 9783540182177 | Verantwortliche Person für die EU: Springer Verlag GmbH, Tiergartenstr. 17, 69121 Heidelberg, juergen[dot]hartmann[at]springer[dot]com | Anbieter: preigu.