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

Techniques

von: Dominique Snyers · Andre Thayse

Taschenbuch

ISBN: 978-3-540-18217-7

ISBN-10: 3-540-18217-9

Springer · 2008
Siehe auch:
1987PaperbackFrom Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions (Lecture Notes in Computer Science)