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
Availability: InStock

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 A

SpringerLink DE

160.49 EUR 160.49 EUR

05-05-2026 01:50:08

Access to the deal

Gesponsert Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II, Fachbücher

Galaxus.de

160.49 EUR 160.49 EUR

05-05-2026 00:02:26

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 A

Gesponsert Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II, Fachbücher

Ä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 A

Gesponsert Automated Deduction - A Basis for Applications Volume I Foundations - Calculi and Methods Volume II, Fachbücher

Ä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, 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, 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, 8, Band 8)

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