LeafKlimaneutrales Unternehmen CoinFaire Preise PackageSchneller und kostenloser Versand ab 14,90 € Bestellwert
Mechanizing Mathematical Reasoning

Mechanizing Mathematical Reasoning

-

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

17,75 €

Lieferzeit 1-3 Werktage

Kurzinformation
Sprache:
Englisch
ISBN:
9783540250517
Verlag:
Seitenzahl:
580 Seiten
Auflage:
-
Erschienen:
2005-02-23
Mit diesem Kauf sparst Du 2,06 kg CO2

Mehr Informationen zum Zustand
Green Tree

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.
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.
  • Starke Gebrauchsspuren, Seiten und Bindung beschädigt
  • Knicke oder Markierungen nicht mehr als 20%
  • CDs und Zugangscodes können fehlen
  • Auflage kann abweichen
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.
Natural Handgeprüfte Gebrauchtware
Coins Schnelle Lieferung
Check Faire Preise

inkl. MwSt. Versandinformationen

Lieferzeit 1-3 Werktage

17,75 €

Lieferzeit 1-3 Werktage

Weitere Zahlungsmöglichkeiten  
Zahlungsarten

Beschreibung

Mechanizing Mathematical Reasoning
Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday

By presenting state-of-the-art results in logical reasoning and formal methods in the context of artificial intelligence and AI applications, this book commemorates the 60th birthday of Jörg H. Siekmann. The 30 revised reviewed papers are written by former and current students and colleagues of Jörg Siekmann; also included is an appraisal of the scientific career of Jörg Siekmann entitled "A Portrait of a Scientist: Logics, AI, and Politics." The papers are organized in four parts on logic and deduction, applications of logic, formal methods and security, and agents and planning.

Produktdetails

Einband:
Hardcover
Seitenzahl:
580 Seiten
Erschienen:
2005-02-23
Sprache:
Englisch
EAN:
9783540250517
ISBN:
9783540250517
Verlag:
Gewicht:
867 g
Auflage:
-
Alle gebrauchten Bücher werden von uns handgeprüft.
So garantieren wir Dir zu jeder Zeit Premiumqualität.

Über den Autor

-

Entdecke mehr vom Verlag


Akzeptabel
17,75 €
Entdecke mehr zum Thema
frontend/listing/product-box/box-product-slider.tpl
frontend/listing/product-box/box-product-slider.tpl