Artificial Intelligence and Symbolic Computation Gonzalo A. Aranda-Corral
Titel: Artificial Intelligence and Symbolic Computation, Untertitel: 12th International Conference, AISC 2014, Seville, Spain, December 11-13, 2014. Proceedings, Einband: Taschenbuch, Autor: Gonzalo A. Aranda-Corral, Verlag: Springer International Publishing, Springer International Publishing, Sprache: Englisch, Seiten: 216, Maße: 235x155x12 mm, Gewicht: 335 g, Verkäufer: buch-mimpf, Schlagworte: Artificial Intelligence in Symbolic Mathematical Computing Computer Algebra Systems and Automated Theorem Provers Integration of Logical Reasoning and Computer Algebra Machine Learning Mechanization of Mathematics algebraic topology automated discovery automated reasoning causal inferences knowledge extraction and verification logic and symbolic computing mathematical knowledge mechanized program verification semantic Web technologies.
Jetzt bei Ebay:
