
Vertel uw vrienden over dit artikel:
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Applied Logic Series 1998 edition
W Bibel
Prijs
Mex$ 4.295,69
Besteld in een afgelegen magazijn
Verwachte levering 7 - 15 aug.
Voeg toe aan uw iMusic-verlanglijst
Eller
Ook verkrijgbaar als:
-
Paperback Book1st Ed. Softcover of Orig. Ed. 1998 edition(2010) Mex$ 3.243,84
-
Hardcover Book1998 edition(1998) Mex$ 4.295,69
-
Paperback BookSoftcover reprint of hardcover 1st ed. 1998 edition(2010) Mex$ 4.295,69
-
Paperback BookSoftcover reprint of hardcover 1st ed. 1998 edition(2010) Mex$ 4.295,69
Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Applied Logic Series 1998 edition
W Bibel
rather the books present the concepts and methods now available in automated deduction in a form which can be easily accessed by scientists working in applications outside of the field of deduction.
481 pages, 1, black & white illustrations
Media | Boeken Hardcover Book (Boek met harde rug en kaft) |
Vrijgegeven | 30 juni 1998 |
ISBN13 | 9780792351290 |
Uitgevers | Springer |
Pagina's | 481 |
Afmetingen | 160 × 242 × 33 mm · 884 g |
Taal en grammatica | Engels |
Uitgever | Bibel, Wolfgang |
Uitgever | Schmitt, P.H. |