From Logic Design to Logic Programming: Theorem Proving Techniques and P-functions - Lecture Notes in Computer Science - D. Snyers - Kirjat - Springer-Verlag Berlin and Heidelberg Gm - 9783540182177 - keskiviikko 12. elokuuta 1987
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

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

Hinta
€ 64,99

Tilattu etävarastosta

Arvioitu toimitus to 27. elo - to 10. syys
Saat ilmoituksen artistin D. Snyers uusista julkaisuista

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
tai

Ei vielä arvioitu

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 Kirjat     Paperback Book   (Kirja pehmeillä kansilla ja liimatulla selällä)
Julkaisupäivämäärä keskiviikko 12. elokuuta 1987
ISBN13 9783540182177
Tuottaja Springer-Verlag Berlin and Heidelberg Gm
Sivujen määrä 125
Mitta 155 × 233 × 7 mm   ·   199 g
Kieli Englanti  

Lisää samalta julkaisijalta

Katso kaikki joka sisältää D. Snyers ( Esim. Paperback Book )