Intelligent Computer Mathematics
Subtitle: 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings
By: edited by Jaime G. Carbonell, J\"org Siekmann, Serge Autexier, John Campbell, Julio Rubio, Volker Sorge, Masakazu Suzuki, Freek Wiedijk
Contributors: Autexier, Serge; Campbell, John; Rubio, Julio; Siekmann, Jörg H.; Sorge, Volker; Suzuki, Masakazu; Wiedijk, Freek, 1961-; SpringerLink (Online service)
Series: Lecture Notes in Computer Science -- 5144
Publisher: Springer-Verlag Berlin Heidelberg; Springer
Published: 2008
Place of publication: Berlin, Heidelberg
Language: eng
Format: [electronic resource] :
Number of pages: 616
ISBN-13: 9783540851097; 9783540851103
Subjects: Information systems; Data processing; Algebra; Electronic data processing; Data mining; Artificial intelligence