Handbook of Practical Logic and Automated Reasoning
Full Title: | Handbook of Practical Logic and Automated Reasoning |
---|---|
ISBN: | 0521899575 |
ISBN13: | 9780521899574 |
List Price: | USD $160.00 |
Authors: |
Harrison, John |
Related ISBNs