Handbook of Practical Logic and Automated Reasoning

New
Hardcover
2009
$163.65

A one-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied.

Synopsis

A one-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied.

$163.65

Quantity

20+ in stock

More Information

Format: Hardcover
Pages: 702
Edition: 1
Publisher: Cambridge University Press
Published: 12 Mar 2009
ISBN 10: 0521899575
ISBN 13: 9780521899574

Handbook of Practical Logic and Automated Reasoning

New

$163.65

Synopsis

$163.65

More Information