Automated Deduction-Cade-16 : 16th International Conference on Automated Dedu…
USD 130.87 USD
Specifications
| 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 includes a DVD with video lectures and supplementary materials.
Related Items
Pictures on a Page Harold Evans 1978 1st Edition USA Photojournalism
Story of the World Ser.: Story of the World: History for the Classical Child…
FARSIGHTED: HOW WE MAKE THE DECISIONS THAT MATTER THE MOST By Steven Johnson
CLAIM YOUR BASIC RIGHTS–CREATE A PRACTICAL PARTNERSHIP By Jennifer L. Palmquist
The Legend of Jake Jackson: A – Paperback, by Joiner Jr. William – Very Good
Copyediting and Proofreading For Dummies (For Dummies Series) – paperback Gi…
Nursing Student Book Bundle physiology Guide, Anatomy Coloring Workbook, Dosage
Engaging Theology: A Biblical, Historical, and Practical Introduction
