From Logic Design to Logic Programming: Theorem Proving Techniques and P-functions - Lecture Notes in Computer Science - D. Snyers - Knjige - Springer-Verlag Berlin and Heidelberg Gm - 9783540182177 - 12. avgusta 1987
Če se naslovnica in naslov ne ujemata, je naslov pravilen

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

Cena
€ 50,99

Naročeno iz oddaljenega skladišča

Predvidena dobava 8. - 16. jul

Kaj pravijo naše stranke:

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov
Najvišja ocena na Trustpilot
Dodaj na svoj seznam želja iMusic

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

Medij Knjige     Paperback Book   (Knjiga z mehkimi platnicami in lepljenim hrbtom)
Izdano 12. avgusta 1987
ISBN13 9783540182177
Založniki Springer-Verlag Berlin and Heidelberg Gm
Strani 125
Dimenzije 155 × 233 × 7 mm   ·   199 g
Jezik Angleščina  

Mere med samme udgiver

Ogled vseh D. Snyers ( Na primer Paperback Book )