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: KusDXE7Y
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

This textbook is from a reputable publisher known for academic quality.

Related Items

Construction Project Safety (RSMeans) – hardcover Lin, Ken-Yu|Schaufelberger…
Construction Project Safety (RSMeans) – hardcover Lin, Ken-Yu|Schaufelberger…
 How to Acquire $1-million in Income Real Estate in One Year Using Borrowed M…
How to Acquire $1-million in Income Real Estate in One Year Using Borrowed M…
 Introduction to Electronics by Earl Gates: Used
Introduction to Electronics by Earl Gates: Used
 Psychiatric-Mental Health Nursing
Psychiatric-Mental Health Nursing
 What If: Writing Exercises for Fiction Writers by Anne Bernays (English) Paperba
What If: Writing Exercises for Fiction Writers by Anne Bernays (English) Paperba
Animal Behavior 9780197564912 by Rubenstein, Dustin
 Social Studies: All Day Every Day in the Early Childhood Classroom
Social Studies: All Day Every Day in the Early Childhood Classroom
 The Adult Learner: The definitive classic in adult education and human resou…
The Adult Learner: The definitive classic in adult education and human resou…