From Logic Design to Logic Programming
Subtitle: Theorem Proving Techniques and P-Functions
Publisher: Springer
Published: Aug 12, 1987
Format: paperback
Number of pages: 129
ISBN-13: 9783540182177
Notes: Source title: From Logic Design to Logic Programming: Theorem Proving Techniques and P-Functions (Lecture Notes in Computer Science (271))