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)

Name: 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)
Price: 8.50 EUR
Availability: InStock
Author: Stephan, Werner
ISBN: 9783540250517

Stephan, Werner

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

8,50 €

Lieferzeit 1-3 Werktage

Kurzinformation

Sprache:

Englisch

ISBN:

9783540250517

Verlag:

Springer

Seitenzahl:

580

Auflage:

Erschienen:

2008-06-13

Mit diesem Kauf sparst Du 2,06 kg CO₂

Mehr Informationen zum Zustand

Gebrauchte Bücher kaufen

Information

Das Buch befindet sich in einem sehr guten, unbenutzten Zustand.

Information

Das Buch befindet sich in einem sehr guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können leichte Gebrauchsspuren aufweisen.

Gut 8,50 €

Sauberer Zustand, Seiten und Bindung etwas abgenutzt
Knicke oder Markierungen nicht mehr als 5%
CDs und Zugangscodes verwendbar

Information

Das Buch befindet sich in einem guten, gelesenen Zustand. Die Seiten und der Einband sind intakt. Buchrücken/Ecken/Kanten können Knicke/Gebrauchsspuren aufweisen.

Akzeptabel 4,76 €

Information

Das Buch befindet sich in einem lesbaren Zustand. Die Seiten und der Einband sind intakt, jedoch weisen Buchrücken/Ecken/Kanten starke Knicke/Gebrauchsspuren auf. Zusatzmaterialien können fehlen.

Neues Buch oder eBook (pdf) kaufen

Information

Neuware - verlagsfrische aktuelle Buchausgabe.

Neu bestellen bei

Handgeprüfte Gebrauchtware

Schnelle Lieferung

Faire Preise

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

8,50 €

Lieferzeit 1-3 Werktage

Weitere Zahlungsmöglichkeiten

Beschreibung

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)

Diese Beschreibung wurde mittels künstlicher Intelligenz generiert

"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.