Automated Deduction – CADE-16 : 16th International Conference on
Automated Deduction – CADE-16 : 16th International Conference on

Automated Deduction – CADE-16 : 16th International Conference on

USD 51.05 USD
SKU: jIl7DlXO
GTIN: 9783540662228
Condition: Good
Tags: 1632 Pages 1999 49 Oz 6.1 in 9.3 in 9783540662228 English EX-LIBRARY Harald Ganzinger Mathematics, Computers Textbook Trade Paperback Xiv, 438 Pages
Categories: Textbooks, Education & Reference

Specifications

FeaturesEX-LIBRARY
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 checklist of learning outcomes at the start.

Related Items

Hitler’s Battleships – Edwyn Gray (HC, DJ, 1999) Naval Institute Press VERY GOOD
Hitler’s Battleships – Edwyn Gray (HC, DJ, 1999) Naval Institute Press VERY GOOD
 Electrical Motor Controls for Integrated Systems – 4th Edition
Electrical Motor Controls for Integrated Systems – 4th Edition
 Abeka Voyage Of Discovery, Moutain Pathways, Message Of The Mountain
Abeka Voyage Of Discovery, Moutain Pathways, Message Of The Mountain
 Introductory Chemistry, Books a la Carte Edition (6th Edition) BRAND NEW
Introductory Chemistry, Books a la Carte Edition (6th Edition) BRAND NEW
 International Schools And International Education: Improving Teaching, Mana…
International Schools And International Education: Improving Teaching, Mana…
 The Living World , hardcover , , Johnson, George
The Living World , hardcover , , Johnson, George
 Oracle Discoverer Handbook by Armstrong-Smith, Michael; Armstrong-Smith, Darlene
Oracle Discoverer Handbook by Armstrong-Smith, Michael; Armstrong-Smith, Darlene
 Institute For Excellence In Writing Student Writing Intensive Level A Manual DVD
Institute For Excellence In Writing Student Writing Intensive Level A Manual DVD