Buy Used and New Andre Thayse Books

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

by Dominique Snyers,Andre Thayse

ISBN 13: 9783540182177

Format: Paperback (134 pages)
Publisher: Springer
Published: 13 Jun 2008

Save for later