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

by Dominique Snyers (Author), Dominique Snyers (Author), Andre Thayse (Author)

New
Paperback
2008
$64.70

$64.70

Save:$20.69 (24%)

Quantity

20 in stock

More Information

Format: Paperback
Pages: 134
Edition: 1987
Publisher: Springer
Published: 13 Jun 2008
ISBN 10: 3540182179
ISBN 13: 9783540182177

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

New

$64.70

$64.70

More Information