Dominique Snyers, Andre Thayse

Broschiertes Buch

From Logic Design to Logic Programming

Theorem Proving Techniques and P-Functions

Beschreibung

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

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