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

Prijs
€ 148,99

Besteld in een afgelegen magazijn

Verwachte levering 7 - 15 jan. 2026
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld
Voeg toe aan uw iMusic-verlanglijst
of

Ook verkrijgbaar als:

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.

Meer door W Bibel

Alles tonen