From Logic Design to Logic Programming: Theorem Proving Techniques and P-functions - Lecture Notes in Computer Science - D. Snyers - Knihy - Springer-Verlag Berlin and Heidelberg Gm - 9783540182177 - 12. augusta 1987
V prípade, že obal a názov nesedia, platí názov

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

Cena
€ 52,99

Objednané zo vzdialeného skladu

Očakávané doručenie 6. - 14. aug
Dostávajte upozornenia na nové nahrávky interpreta D. Snyers

Naši zákazníci hovoria:

14-dňová lehota na vrátenie podľa európskej legislatívy o ochrane spotrebiteľa
Najvyššie hodnotenie na Trustpilot
Pridať do vášho zoznamu prianí na iMusic

Not rated yet

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

Médium Knihy     Paperback Book   (Kniha s mäkkou väzbou a lepeným chrbtom)
Vydané 12. augusta 1987
ISBN13 9783540182177
Vydavatelia Springer-Verlag Berlin and Heidelberg Gm
Strany 125
Rozmery 155 × 233 × 7 mm   ·   199 g
Jazyk Angličtina  

Viac od toho istého vydavateľa

Pozrieť všetko od D. Snyers ( napr. Paperback Book )