All categories
Kaicus
Baby & Kleinkind
Bekleidung & Accessoires
Bürobedarf
Elektronik
Fahrzeuge & Teile
Für Erwachsene
Gesundheit & Schönheit
Heim & Garten
Heimwerkerbedarf
Kameras & Optik
Kunst & Unterhaltung
Medien
Möbel
Nahrungsmittel, Getränke & Tabak
Software
Spielzeuge & Spiele
Sportartikel
Taschen & Gepäck
Tiere & Tierbedarf
Wirtschaft & Industrie
UK España Italia Deutschland France
© 2026, Kaicus - Smart Shopping
All rights reserved
Kaicus Medien Bücher Mechanizing Mathematical Reasoning
product image
product image
product image
product image

Mechanizing Mathematical Reasoning

103.94 EUR 3% Off 106.99 EUR

Dieses Werk vereint Beiträge aus den Bereichen logische Modellierung, automatisiertes Theorem‑Proving und formale Verifikation, die Jörg H. Siekmanns Forschungsgeschichte widerspiegeln.

Marke: Dieter Hutter
ISBN: 3540250514
MPN: Illustrations
Gesponsert  Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen
-3%

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)

103.94 EUR 106.99 EUR
28-04-2026 18:38:33
Access to the deal

Gesponsert Mechanizing Mathematical Reasoning

106.99 EUR 106.99 EUR
28-04-2026 20:55:13
Access to the deal

Ähnliche Produkte

Mechanizing Hypothesis Formation: Mathematical Foundations for a General Theory

53.49 EUR
Produkt anzeigen

MECHANIZING MINDS AND HUMANIZING MACHINES: The Inevitable Android

31.90 EUR
Produkt anzeigen

Mechanizing Proof

36.70 EUR
Produkt anzeigen

Mechanizing Hypothesis Formation

78.49 EUR
Produkt anzeigen