Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday: Essays in Honor of Jörg H. Siekmann on ... Notes in Computer Science, 2605, Band 2605)

Ein Festschriftenband, der Jörg H. Siekmanns Beitrag zur formalen Logik feiert; Essays beleuchten automatisierte Beweistechniken, theorem proving und ...
Essays in Honor of
Wo zu kaufen (2) Eigenschaften
Gesponsert
Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday: Essays in Honor of Jörg H. Siekmann on ... Notes in Computer Science (2605), Band 2605)
Medimops DE
103.94 EUR
Preis aktualisiert am: 27-04-2026 19:31:48
Siehe Produktangebot
Gesponsert
Mechanizing Mathematical Reasoning
SpringerLink DE
106.99 EUR
Preis aktualisiert am: 27-04-2026 22:16:02
Siehe Produktangebot

Allgemein

Marke
Dieter Hutter
ISBN
Dieter Hutter 3540250514
MPN
Dieter Hutter Illustrations

Eigenschaften

Ähnliche Produkte

Mechanizing Hypothesis Formation: Mathematical Foundations for a General Theory (Universitext)
Mechanizing Hypothesis Formation: Mathematical Foundations for a General Theory (Universitext)
Produkt anzeigen
Mechanizing Proof: Computing, Risk, and Trust (Inside Technology (Paperback))
Mechanizing Proof: Computing, Risk, and Trust (Inside Technology (Paperback))
Produkt anzeigen
MECHANIZING MINDS AND HUMANIZING MACHINES: The Inevitable Android
MECHANIZING MINDS AND HUMANIZING MACHINES: The Inevitable Android
Produkt anzeigen
Mechanizing Hypothesis Formation
Mechanizing Hypothesis Formation
Produkt anzeigen
Menü