https://www.ebooknetworking.net/books_detail-0387182179.html

From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions (Lecture Notes in Computer Science)

Name: From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions (Lecture Notes in Computer Science)
Author: Dominique Snyers, Andre Thayse
ISBN: 9780387182179

AuthorDominique Snyers, Andre Thayse

PublisherSpringer-Verlag

Shop on Amazon — choose your country

🇺🇸 USA 🇨🇦 Canada 🇬🇧 UK 🇩🇪 Germany 🇫🇷 France 🇮🇳 India

49.71 USD

Buy New on Amazon 🇺🇸

Book Details

Author(s)Dominique Snyers, Andre Thayse

PublisherSpringer-Verlag

ISBN / ASIN0387182179

ISBN-139780387182179

MarketplaceUnited States 🇺🇸