From Logic Design to Logic Programming: Theorem Proving Techniques and P-functions - Lecture Notes in Computer Science - D. Snyers - Bøker - Springer-Verlag Berlin and Heidelberg Gm - 9783540182177 - 12. august 1987
Ved uoverensstemmelse mellom cover og tittel gjelder tittel

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

Pris
NOK 519

Bestillingsvarer

Forventes levert 15. - 23. jun

Kundene våre sier:

14 dages returrett
Toppvurdering på Trustpilot
Legg til iMusic ønskeliste
eller

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

Media Bøker     Pocketbok   (Bok med mykt omslag og limt rygg)
Utgitt 12. august 1987
ISBN13 9783540182177
Utgivere Springer-Verlag Berlin and Heidelberg Gm
Antall sider 125
Mål 155 × 233 × 7 mm   ·   199 g
Språk Engelsk  

Mere med samme udgiver

Se alt med D. Snyers ( f.eks. Pocketbok )