ISBN 9783540182177 books & textbook
From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions (Lecture Notes in Computer Science, 271)
Snyers, Dominique Thayse, Andre
Springer /1987-08-12 Paperback / 129 Pages
isbn-10: 3540182179 / isbn-13: 9783540182177
