From Logic Design to Logic Programming: Theorem Proving Techniques and P-functions - Lecture Notes in Computer Science - D. Snyers - Books - Springer-Verlag Berlin and Heidelberg Gm - 9783540182177 - August 12, 1987
In case cover and title do not match, the title is correct

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

Price
HK$ 438
excl. VAT

Ordered from remote warehouse

Expected to be ready for shipping Jun 11 - 17

Our customers say:

14-day return policy in accordance with European consumer protection law
Top ranking on Trustpilot
Add to your iMusic wish list

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 Books     Paperback Book   (Book with soft cover and glued back)
Released August 12, 1987
ISBN13 9783540182177
Publishers Springer-Verlag Berlin and Heidelberg Gm
Pages 125
Dimensions 155 × 233 × 7 mm   ·   199 g
Language English  

Mere med samme udgiver

See all of D. Snyers ( e.g. Paperback Book )