Automated Reasoning Michael Rusinowitch
106,99 €
Titel: Automated Reasoning, Untertitel: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004, Proceedings, Einband: Taschenbuch, Autor: Michael Rusinowitch, Verlag: Springer Berlin Heidelberg, Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 512, Maße: 235x155x28 mm, Gewicht: 768 g, Verkäufer: buch-mimpf, Schlagworte: Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI Schluss (logisch) Automat Nonclassical Logics Tableaux Methods automated deduction automated reasoning formal logic interactive theorem proving logical inference mathematical logic mechanized reasoning nonmonotonic reasoning proof theory proving theorem proving verification.
Jetzt bei Ebay:
