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: 6HvMTKZp
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

You will find that this textbook includes a detailed table of contents.

Related Items

HEALTH POLICYMAKING IN THE UNITED STATES By Beaufort B. Longest – Hardcover Mint
HEALTH POLICYMAKING IN THE UNITED STATES By Beaufort B. Longest – Hardcover Mint
 Codeigniter 1.7, Paperback by Argudo, Jose, Brand New, Free shipping in the US
Codeigniter 1.7, Paperback by Argudo, Jose, Brand New, Free shipping in the US
 Better : A Surgeon’s Notes on Performance Paperback Atul Gawande
Better : A Surgeon’s Notes on Performance Paperback Atul Gawande
 The Elements of Style by Strunk, William; White, E.
The Elements of Style by Strunk, William; White, E.
 Clinician’s Guide for Treating Active Military and Veteran Populations with EMDR
Clinician’s Guide for Treating Active Military and Veteran Populations with EMDR
 Business Analytics Paperback James Evans
Business Analytics Paperback James Evans
 Great Courses DVDs : CLASSICAL ARCHAEOLOGY of ANCIENT GREECE and ROME + BONUS
Great Courses DVDs : CLASSICAL ARCHAEOLOGY of ANCIENT GREECE and ROME + BONUS
 Intuitive Eating, 4th Edition – paperback Evelyn Tribole, MS, RDN|Elyse Resc…
Intuitive Eating, 4th Edition – paperback Evelyn Tribole, MS, RDN|Elyse Resc…