Handbook of Practical Logic and Automated Reasoning
One-stop reference, self-contained, with theoretical topics presented in conjunction with implementations for which code is supplied.
EAN/ISBN : 9780511501562
Publisher(s): Cambridge University Press... |
 |
|
|
