Name: Mechanizing Mathematical Reasoning
Brand: Dieter Hutter
SKU: ID12152885
Availability: InStock

Mechanizing Mathematical Reasoning

102.14 EUR 13% 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

Angebote
Merkmale

Gesponsert Diese Website enthält Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten. Weitere Informationen

-13%

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

102.14 EUR 118.00 EUR

27-07-2026 23:34:47

Access to the deal

Gesponsert Mechanizing Mathematical Reasoning

SpringerLink DE

118.00 EUR 118.00 EUR

29-07-2026 07:16:47

Access to the deal

Mechanizing Mathematical Reasoning

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)

Gesponsert Mechanizing Mathematical Reasoning

Ähnliche Produkte

Beste Preise und Angebote

Sparen Sie bei jedem Einkauf

Genaue Information

Die Macht der Wahl

Mechanizing Mathematical Reasoning

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)

Gesponsert Mechanizing Mathematical Reasoning

Ähnliche Produkte

Mechanizing Hypothesis Formation: Mathematical Foundations for a General Theory

MECHANIZING MINDS AND HUMANIZING MACHINES: The Inevitable Android

Mechanizing Proof

Mechanizing Hypothesis Formation