From Logic Design to Logic Programming: Theorem Proving Techniques and P-functions - Lecture Notes in Computer Science - D. Snyers - Bøger - Springer-Verlag Berlin and Heidelberg Gm - 9783540182177 - 12. august 1987
Ved uoverensstemmelse mellem cover og titel gælder titel

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

Pris
DKK 449

Bestilles fra fjernlager

Forventes klar til forsendelse 10. - 16. nov.
Julegaver kan byttes frem til 31. januar
Modtag notifikation om nye D. Snyers udgivelser

Vores kunder siger:

14 dages fuld returret
Topvurdering på Trustpilot
Tilføj til din iMusic ønskeseddel
eller

Ikke bedømt endnu

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

Medie Bøger     Paperback Bog   (Bog med blødt omslag og limet ryg)
Udgivet 12. august 1987
ISBN13 9783540182177
Forlag Springer-Verlag Berlin and Heidelberg Gm
Antal sider 125
Mål 155 × 233 × 7 mm   ·   199 g
Sprog Engelsk  

Mere med samme udgiver

Se alt med D. Snyers