Name: Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications
Brand: Springer Netherlands
SKU: ID13198902

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

160.49 EUR

Ein dreibändiges Lehrwerk, das die Theorie der automatisierten Deduktion von Grundprinzipien über systemische Implementierungen bis zu konkreten Anwendungsfällen führt und dabei neue Logikmodelle sowie praktische Programmieransätze präsentiert.

Marke: Springer Netherlands

ISBN: 9048150523

MPN: biography

Angebote
Merkmale

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

Gesponsert Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Hugendubel

160.49 EUR 160.49 EUR

23-09-2026 22:27:52

Access to the deal

Gesponsert Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II, Fachbücher von Wolfgang Bibel, P. H. Schmitt

Galaxus.de

160.49 EUR 160.49 EUR

25-09-2026 20:09:19

Access to the deal

Gesponsert Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A

SpringerLink DE

160.49 EUR 160.49 EUR

27-09-2026 11:28:35

Access to the deal

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Gesponsert Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Gesponsert Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II, Fachbücher von Wolfgang Bibel, P. H. Schmitt

Gesponsert Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Gesponsert Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications

Gesponsert Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II, Fachbücher von Wolfgang Bibel, P. H. Schmitt

Gesponsert Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III A

Ähnliche Produkte

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (Applied Logic Series, 9, Band 9)

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (Applied Logic Series, 10, Band 10)

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications (Applied Logic Series, 8, Band 8)

Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II Systems and Implementation Techniques Volume III Applications