From Logic Design to Logic Programming: Theorem Proving Techniques and P-functions - Lecture Notes in Computer Science - D. Snyers - Grāmatas - Springer-Verlag Berlin and Heidelberg Gm - 9783540182177 - 1987. gada 12. augusts
Ja vāks un nosaukums nesakrīt, pareizs ir nosaukums

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

Cena
€ 53,99

Pasūtīts no attālās noliktavas

Paredzamā piegāde . gada 18. - 26. jūn.

Mūsu klienti saka:

14 dienu atgriešanas politika saskaņā ar Eiropas patērētāju tiesību aizsardzības likumu
Top vieta Trustpilot
Pievienot savam iMusic vēlmju sarakstam

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

Mediji Grāmatas     Paperback Book   (Grāmata ar mīksto vāku un līmēto muguru)
Izlaists 1987. gada 12. augusts
ISBN13 9783540182177
Izdevēji Springer-Verlag Berlin and Heidelberg Gm
Lapas 125
Izmēri 155 × 233 × 7 mm   ·   199 g
Valoda Angļu  

Mere med samme udgiver

Skatīt visus D. Snyers ( piem., Paperback Book )