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 - Böcker - Springer - 9780792351290 - 30 juni 1998
Om omslag och titel inte matchar är det titeln som gäller

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

Pris
SEK 2.089

Beställningsvara

Förväntad leverans 6 - 14 jan 2026
Julklappar kan bytas fram till 31:e januari

Våra kunder säger:

14 dagars returrätt
Toppbetyg på Trustpilot
Lägg till din iMusic-önskelista
eller

Finns även som:

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 Böcker     Inbunden Bok   (Inbunden bok med hårda pärmar och skyddsomslag)
Releasedatum 30 juni 1998
ISBN13 9780792351290
Utgivare Springer
Antal sidor 481
Mått 160 × 242 × 33 mm   ·   884 g
Språk Engelska  
Redaktör Bibel, Wolfgang
Redaktör Schmitt, P.H.

Fler produkter med W Bibel

Visa alla

Se alt med W Bibel ( t.ex. Pocketbok och Inbunden Bok )