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
$73.25

$73.25

Save:$5.66 (7%)

Quantity

10 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

$73.25

$73.25

More Information