by: Dominique Snyers · Andre Thayse
Paperback
ISBN: 978-0-387-18217-9
ISBN-10: 0-387-18217-9
Springer Verlag · 1987
|
|
by: Dominique Snyers · Andre ThaysePaperback
ISBN: 978-0-387-18217-9 ISBN-10: 0-387-18217-9 Springer Verlag · 1987 |
| See also: | ||
| 2008 | Taschenbuch | From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions (Lecture Notes in Computer Science, Band 271) |