Automated Deduction – CADE-16 : 16th International Conference on
USD 51.05 USD
Specifications
| Features | EX-LIBRARY |
| ISBN | 9783540662228 |
| Subject Area | Mathematics, Computers |
| Item Length | 9.3 in |
| Publication Year | 1999 |
| Type | Textbook |
| Format | Trade Paperback |
| Language | English |
| Author | Harald Ganzinger |
| Item Weight | 49 Oz |
| Item Width | 6.1 in |
| Number Of Pages | Xiv, 438 Pages |
This textbook covers both theory and hands-on exercises in equal measure.
Related Items
Collapse : How Societies Choose to Fail or Succeed by Jared M. Diamond*SIGNED*
Life : Our Century in Pictures by Richard B. Stolley (1999, Hardcover)
LooseLeaf for Dynamic Business Law Ringbound
Examination Surgery
Home Staging : Creating Buyer-friendly Rooms to Sell Your House L
Criminal Justice: A Brief Introduction by Frank Schmalleger
Douglas Crockford JavaScript: The Good Parts (Paperback) (UK IMPORT)
Acute Coronary Syndromes