Intelligent Computer Mathematics
10th International Conference, AISC 2010, 17th Symposium, Calculemus 2010, and 9th International Conference, MKM 2010, Paris, France, July 5-10, 2010. Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Up-to-date results
Autor*in
Serge Autexier
Themen in »Intelligent Computer Mathematics«
algebra artificial intelligence computer algebra deduction systems formal deduction knowledge problem solving symbolic computation theorem proving
Stimmen zu »Intelligent Computer Mathematics«
Details
ISBN: 9783642141287
Verlag: Springer Berlin
Erscheinung: 29.06.2010