Die Inhalte dieser Webseite enthalten Affiliate-Links, für die wir möglicherweise eine Vergütung erhalten.
  • Bild 1
  • Bild 2
  • Bild 3
  • Bild 4
  • Bild 5

Automatisierter Satzbeweis: Theorie und Praxis von Monty Newborn (2000,...

113,56 €

Delve into the intricate world of logical deductions with "Automated Theorem Proving: Theory and Practice" by Monty Newborn. With its comprehensive coverage of topics in logic and semantics, it serves as an essential textbook for understanding the theoretical underpinnings of automated reasoning systems.

Jetzt bei Ebay: