Automated Deduction - a Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Applied Logic Series - W Bibel - Boeken - Springer - 9789048150526 - 9 december 2010
Indien omslag en titel niet overeenkomen, is de titel correct

Automated Deduction - a Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Applied Logic Series 1st Ed. Softcover of Orig. Ed. 1998 edition

W Bibel

Prijs
Fr. 138,49

Besteld in een afgelegen magazijn

Verwachte levering 4 - 12 aug.

Onze klanten zeggen:

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving
Topnotering op Trustpilot
Voeg toe aan uw iMusic-verlanglijst
Eller

Ook verkrijgbaar als:

Automated Deduction - a Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications - Applied Logic Series 1st Ed. Softcover of Orig. Ed. 1998 edition

347 pages, biography

Media Boeken     Paperback Book   (Boek met zachte kaft en gelijmde rug)
Vrijgegeven 9 december 2010
ISBN13 9789048150526
Uitgevers Springer
Pagina's 347
Afmetingen 156 × 234 × 18 mm   ·   485 g
Uitgever Bibel, Wolfgang
Uitgever Schmitt, P. H.
Alles tonen

Meer door W Bibel

Bekijk alles van W Bibel ( bijv. Paperback Book en Hardcover Book )