Mechanizing Mathematical Reasoning | Kaicus Deutschland
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

105.94 EUR 10% Off 118.00 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
-10%

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)

105.94 EUR 118.00 EUR
10-11-2026 04:17:41
Access to the deal
-9%

Gesponsert Mechanizing Mathematical Reasoning

106.99 EUR 118.00 EUR
06-11-2026 20:03:22
Access to the deal

Gesponsert Mechanizing Mathematical Reasoning

118.00 EUR 118.00 EUR
09-11-2026 12:06:27
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.40 EUR
Produkt anzeigen

Mechanizing Proof

36.80 EUR
Produkt anzeigen

Mechanizing Hypothesis Formation

89.99 EUR
Produkt anzeigen