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 - 9780792351306 - 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 8 - 16 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:

BASIC CONCEPTS OF INTERACTIVE THEOREM PROVING Interactive Theorem Proving ultimately aims at the construction of powerful reasoning tools that let us (computer scientists) prove things we cannot prove without the tools, and the tools cannot prove without us.

448 pages, biography

Media Boeken     Hardcover Book   (Boek met harde rug en kaft)
Vrijgegeven 30 juni 1998
ISBN13 9780792351306
Uitgevers Springer
Pagina's 434
Afmetingen 160 × 241 × 29 mm   ·   807 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 )