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 - 9780792351290 - 30 juni 1998
Indien omslag en titel niet overeenkomen, is de titel correct

W Bibel
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

Prijs
€ 196,99

Besteld in een afgelegen magazijn

Verwachte levering 6 - 14 jan. 2026
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld

Onze klanten zeggen:

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

Ook verkrijgbaar als:

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.

Meer door W Bibel

Alles tonen

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