Dominique Snyers, Andre Thayse

From Logic Design to Logic Programming

Theorem Proving Techniques and P-Functions

• Broschiertes Buch

Produktbeschreibung

Contents: Introduction.- Theorem proving and P-functions.- Grammars, logics and declarative programming.- Grammars and Semantics.- Bibliography.

---

Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.

Produktdetails

• Lecture Notes in Computer Science 271
• Verlag: Springer / Springer Berlin Heidelberg / Springer, Berlin
• Artikelnr. des Verlages: 978-3-540-18217-7
• 1987.
• Seitenzahl: 134
• Erscheinungstermin: 12. August 1987
• Englisch
• Abmessung: 235mm x 155mm x 8mm
• Gewicht: 224g
• ISBN-13: 9783540182177
• ISBN-10: 3540182179
• Artikelnr.: 09242847

Inhaltsangabe

Theorem in proving and P-functions.- Grammars, logics and declarative programming.- Grammars and Semantics.