
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)
Kurzinformation



inkl. MwSt. Versandinformationen
Lieferzeit 1-3 Werktage
Lieferzeit 1-3 Werktage

Beschreibung
"Mechanizing Mathematical Reasoning: Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday" ist eine Sammlung von wissenschaftlichen Essays, die Jörg H. Siekmanns bedeutende Beiträge zur Informatik und insbesondere zur mechanisierten mathematischen Vernunft würdigen. Das Buch gehört zur Reihe "Lecture Notes in Computer Science" und umfasst Band 2605. Die Essays decken eine Vielzahl von Themen ab, darunter automatisches Beweisen, Wissensrepräsentation, Künstliche Intelligenz und deren Anwendungen in der Mathematik. Renommierte Forscher teilen ihre Erkenntnisse und Forschungsergebnisse, die auf den Arbeiten von Siekmann aufbauen oder von ihnen inspiriert sind. Diese Festschrift hebt die Fortschritte und Herausforderungen im Bereich der mechanisierten Vernunft hervor und bietet einen umfassenden Überblick über aktuelle Entwicklungen sowie zukünftige Forschungsrichtungen in diesem Bereich.
Produktdetails

So garantieren wir Dir zu jeder Zeit Premiumqualität.
Über den Autor
- Kartoniert
- 501 Seiten
- Erschienen 2007
- Springer
- Kartoniert
- 520 Seiten
- Erschienen 2014
- Birkhäuser
- Kartoniert
- 480 Seiten
- Erschienen 2017
- Springer Vieweg
- hardcover
- 514 Seiten
- Erschienen 1982
- Birkhäuser Verlag
- Gebunden
- 629 Seiten
- Erschienen 2019
- Duncker & Humblot
- perfect
- 451 Seiten
- Erschienen 1986
- Vandenhoeck & Ruprecht
- paperback
- 232 Seiten
- Erschienen 1991
- Springer
- Kartoniert
- 408 Seiten
- Erschienen 2003
- Springer