| From Logic Design to Logic Programming Theorem Proving Techniques and P-Functions | | | Author:
| Snyers, Dominique
Thayse, André | | ISBN: | 978-3-540-18217-7 | | Publication Date: | Jan 1987 | | Publisher: | Springer
| | Book Format: | Paperback | | List Price: | AUD $158.95 | Book Description:
|
| |