Automated Deduction-Cade-16 : 16th International Conference on Automated Dedu…

Automated Deduction-Cade-16 : 16th International Conference on Automated Dedu…

USD 130.87 USD
SKU: cjcBK67f
GTIN: 9783540662228
Condition: Like New
Tags: 1632 Pages 1999 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

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

A nice touch in this textbook is the summary boxes at the end of every section.

Related Items

Clinician’s Guide for Treating Active Military and Veteran Populations with EMDR
Clinician’s Guide for Treating Active Military and Veteran Populations with EMDR
 Television Production
Television Production
 HMH Journeys 5th Grade 5 Leveled Readers Above Level 25 Book Set New
HMH Journeys 5th Grade 5 Leveled Readers Above Level 25 Book Set New
 Microbiology–Wistreich and Lechtman–hardback–1984–916 pages plus appendices
Microbiology–Wistreich and Lechtman–hardback–1984–916 pages plus appendices
 Introduction To Chemical Engineering kinetics And Reactor design Hill 1977 Wiley
Introduction To Chemical Engineering kinetics And Reactor design Hill 1977 Wiley
 Local Government Law in a Nutshell (Nutshells) – Paperback – GOOD
Local Government Law in a Nutshell (Nutshells) – Paperback – GOOD
 Fundamentals of Nursing by Patricia A. Stockert, Anne G. Griffin Perry, Patricia
Fundamentals of Nursing by Patricia A. Stockert, Anne G. Griffin Perry, Patricia
 A Town Square BK.: Big Book of Caterpillar : The Complete History of Caterpillar
A Town Square BK.: Big Book of Caterpillar : The Complete History of Caterpillar