Handbook of Automated Reasoning (Volume I)
Full Title: | Handbook of Automated Reasoning (Volume I) |
---|---|
ISBN: | 0444829490 |
ISBN13: | 9780444829498 |
List Price: | USD $249.60 |
Full Title: | Handbook of Automated Reasoning (Volume I) |
---|---|
ISBN: | 0444829490 |
ISBN13: | 9780444829498 |
List Price: | USD $249.60 |