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

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

USD 130.88 USD
SKU: ESLO6iZM
GTIN: 9783540662228
Condition: Brand 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

What stands out about this textbook is the author's engaging writing style.

Related Items

The Definitive Guide to AWS Application Integration: With Amazon Sqs, Sns,…
The Definitive Guide to AWS Application Integration: With Amazon Sqs, Sns,…
 Empowerment Series: The Reluctant Welfare State – Hardcover – GOOD
Empowerment Series: The Reluctant Welfare State – Hardcover – GOOD
 Manual of Clinical Problems in Dermatology: With Annotated References (A Lit…
Manual of Clinical Problems in Dermatology: With Annotated References (A Lit…
 HowExpert Guide to Education: The Ultimate Handbook for Lifelong Learning Hardba
HowExpert Guide to Education: The Ultimate Handbook for Lifelong Learning Hardba
 A Brief History of the Late Ottoman Empire, Hanioglu, M. Sükrü, Good Book
A Brief History of the Late Ottoman Empire, Hanioglu, M. Sükrü, Good Book
 Robert C. Martin Ser.: Clean Architecture : A Craftsman’s Guide to Software…
Robert C. Martin Ser.: Clean Architecture : A Craftsman’s Guide to Software…
 New:Construction Planning, Equipment, Methods 10th ED FREE SHIP FROM USA
New:Construction Planning, Equipment, Methods 10th ED FREE SHIP FROM USA
 Electrical Level 1 – Paperback By NCCER – GOOD
Electrical Level 1 – Paperback By NCCER – GOOD