From Logic Design to Logic Programming: Theorem Proving Techniques and P-functions - Lecture Notes in Computer Science - D. Snyers - Bücher - Springer-Verlag Berlin and Heidelberg Gm - 9783540182177 - 12. August 1987
Bei Nichtübereinstimmung von Cover und Titel gilt der Titel

D. Snyers
From Logic Design to Logic Programming: Theorem Proving Techniques and P-functions - Lecture Notes in Computer Science 1987 edition

Preis
€ 51,49

Bestellware

Lieferdatum: ca. 10. - 18. Nov
Weihnachtsgeschenke können bis zum 31. Januar umgetauscht werden
Benachrichtigungen über neue Veröffentlichungen von D. Snyers erhalten

Unsere Kunden sagen:

14-Tage-Rückgaberecht
Topbewertung bei Trustpilot
Zu deiner iMusic Wunschliste hinzufügen
oder

Noch nicht bewertet

This work demonstrates that theorem-proving methods can lead to program synthesis and algorithm implementation by using pairs of logic laws. A systematic examination of deductive laws and of constructive laws is presented.

125 pages, biography

Medien Bücher     Taschenbuch   (Buch mit Softcover und geklebtem Rücken)
Erscheinungsdatum 12. August 1987
ISBN13 9783540182177
Verlag Springer-Verlag Berlin and Heidelberg Gm
Seitenanzahl 125
Maße 155 × 233 × 7 mm   ·   199 g
Sprache Englisch  

Mehr vom selben Verlag

Alle Titel von D. Snyers ansehen