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 (3) 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
105.94 EUR
Preis aktualisiert am: 28-10-2026 22:07:52
Siehe Produktangebot
Gesponsert
Mechanizing Mathematical Reasoning
Hugendubel
106.99 EUR
Preis aktualisiert am: 29-10-2026 04:27:19
Siehe Produktangebot
Gesponsert
Mechanizing Mathematical Reasoning
SpringerLink DE
118.00 EUR
Preis aktualisiert am: 28-10-2026 06:11:47
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)
Aus53.49 EUR 3
Produkt anzeigen
Mechanizing Proof: Computing, Risk, and Trust (Inside Technology (Paperback))
Mechanizing Proof: Computing, Risk, and Trust (Inside Technology (Paperback))
Aus36.80 EUR 2
Produkt anzeigen
MECHANIZING MINDS AND HUMANIZING MACHINES: The Inevitable Android
MECHANIZING MINDS AND HUMANIZING MACHINES: The Inevitable Android
Aus31.40 EUR 2
Produkt anzeigen
Mechanizing Hypothesis Formation
Mechanizing Hypothesis Formation
Aus89.99 EUR 1
Produkt anzeigen
Menü