Automated Deduction – Cade-16: 16th International Conference on Automated: New

Automated Deduction – Cade-16: 16th International Conference on Automated: New

USD 63.89 USD
SKU: kB0l8Pm5
GTIN: 9783540662228
Condition: Brand New
Tags: 1632 Pages 1999 1999-06-23 438 49 Oz 6.1 in 9.3 in 9783540662228 English Harald Ganzinger Mathematics, Computers Textbook Trade Paperback Xiv, 438 Pages
Categories: Textbooks, Education & Reference

Specifications

Publication Date1999-06-23
Pages438
ISBN9783540662228
Subject AreaMathematics, Computers
Item Length9.3 in
Publication Year1999
TypeTextbook
FormatTrade Paperback
LanguageEnglish
AuthorHarald Ganzinger
Item Weight49 Oz
Item Width6.1 in
Number Of PagesXiv, 438 Pages

You will find that this textbook is well suited for self-study or classroom use.

Related Items

Mosby’s Pharmacy Technician: Principles and Practice
Mosby’s Pharmacy Technician: Principles and Practice
 The Middle East and the United Stat…, W. Lesch, David
The Middle East and the United Stat…, W. Lesch, David
 African Americans and ROTC: Military Naval Aeroscience HBCU 1916-1973 2002 PB
African Americans and ROTC: Military Naval Aeroscience HBCU 1916-1973 2002 PB
 The Stories of English : The Best Introductory History of the Eng
The Stories of English : The Best Introductory History of the Eng
 ‎Introduction to Quantum Mechanics,Griffiths,Schroeter-IMPORT FEES PAID,DDP SHIP
‎Introduction to Quantum Mechanics,Griffiths,Schroeter-IMPORT FEES PAID,DDP SHIP
 The Roots of Contemporary Issues History 105 Reader & Course Guide WSU Textbook
The Roots of Contemporary Issues History 105 Reader & Course Guide WSU Textbook
 Children and Grief: When a Parent Dies – Worden, J. William, Worden PhD, J. Will
Children and Grief: When a Parent Dies – Worden, J. William, Worden PhD, J. Will
 Assessment in Rehabilitation and Health by Mpofu, Elias, Oakland, Thomas
Assessment in Rehabilitation and Health by Mpofu, Elias, Oakland, Thomas