Verwandte Artikel zu From Logic Design to Logic Programming: Theorem Proving...
From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions (Lecture Notes in Computer Science, 271, Band 271) - Softcover
Inhaltsangabe
Theorem in proving and P-functions.- Grammars, logics and declarative programming.- Grammars and Semantics.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
Weitere beliebte Ausgaben desselben Titels
Suchergebnisse für From Logic Design to Logic Programming: Theorem Proving...
Beispielbild für diese ISBN
From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions (Lecture Notes in Computer Science, 271)
Anbieter: Ria Christie Collections, Uxbridge, Vereinigtes Königreich
Verkäuferbewertung 5 von 5 Sternen
Zustand: New. In. Artikel-Nr. ria9783540182177_new
Neu kaufen
EUR 59,33
EUR 13,99 Versand
Versand von Vereinigtes Königreich nach USA
Versand von Vereinigtes Königreich nach USA
Anzahl: Mehr als 20 verfügbar
Foto des Verkäufers
From Logic Design to Logic Programming : Theorem Proving Techniques and P-Functions
Anbieter: AHA-BUCH GmbH, Einbeck, Deutschland
Verkäuferbewertung 5 von 5 Sternen
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. Artikel-Nr. 9783540182177
Neu kaufen
EUR 53,49
EUR 61,08 Versand
Versand von Deutschland nach USA
Versand von Deutschland nach USA
Anzahl: 1 verfügbar