Handbook of Automated Reasoning (Volume II)
Full Title: | Handbook of Automated Reasoning (Volume II) |
---|---|
ISBN: | 0444508120 |
ISBN13: | 9780444508126 |
List Price: | USD $285.00 |
Full Title: | Handbook of Automated Reasoning (Volume II) |
---|---|
ISBN: | 0444508120 |
ISBN13: | 9780444508126 |
List Price: | USD $285.00 |