Theorem Proving with Analytic Tableaux and Related Methods Peter Baumgartner
53,49 €
Titel: Theorem Proving with Analytic Tableaux and Related Methods, Untertitel: 4th International Workshop, TABLEAUX-95, Schloß Rheinfels, St. Goar, Germany, May 7 - 10, 1995. Proceedings, Einband: Taschenbuch, Autor: Peter Baumgartner, Verlag: Springer Berlin Heidelberg, Sprache: Englisch, Seiten: 372, Maße: 235x155x21 mm, Gewicht: 563 g, Verkäufer: buch-mimpf, Schlagworte: Begründung / Beweis Beweis Intelligenz / Künstliche Intelligenz KI Künstliche Intelligenz - AI Analytic Tableaus Analytische Tableaus Classical Logics Klassische Logikes Nicht-klassische Logiken Nonclassical Logics Resolution Tableau Calculi Tableau-Kalküle extension logic proving theorem proving.
Jetzt bei Ebay:
