Intelligent Computer Mathematics 9th International Conference, AISC 2008, 15th Symposium, Calculemus 2008, 7th International Conference, MKM 2008, Birmingham, UK, July 28 - August 1, 2008. Proceedings /
This book constitutes the joint refereed proceedings of the 9th International Conference on Artificial Intelligence and Symbolic Computation, AISC 2008, the 15th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2008, and the 7th International Conference on Ma...
Συγγραφή απο Οργανισμό/Αρχή: | SpringerLink (Online service) |
---|---|
Άλλοι συγγραφείς: | Autexier, Serge (Επιμελητής έκδοσης), Campbell, John (Επιμελητής έκδοσης), Rubio, Julio (Επιμελητής έκδοσης), Sorge, Volker (Επιμελητής έκδοσης), Suzuki, Masakazu (Επιμελητής έκδοσης), Wiedijk, Freek (Επιμελητής έκδοσης) |
Μορφή: | Ηλεκτρονική πηγή Ηλ. βιβλίο |
Γλώσσα: | English |
Έκδοση: |
Berlin, Heidelberg :
Springer Berlin Heidelberg,
2008.
|
Σειρά: | Lecture Notes in Computer Science,
5144 |
Θέματα: | |
Διαθέσιμο Online: | Full Text via HEAL-Link |
Παρόμοια τεκμήρια
-
Intelligent Computer Mathematics 16th Symposium, Calculemus 2009, 8th International Conference, MKM 2009, Held as Part of CICM 2009, Grand Bend, Canada, July 6-12, 2009. Proceedings /
Έκδοση: (2009) -
Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings /
Έκδοση: (2007) -
Data Warehousing and Knowledge Discovery 10th International Conference, DaWaK 2008 Turin, Italy, September 2-5, 2008 Proceedings /
Έκδοση: (2008) -
Model-Based Software and Data Integration First International Workshop, MBSDI 2008, Berlin, Germany, April 1-3, 2008. Proceedings /
Έκδοση: (2008) -
Intelligent Virtual Agents 8th International Conference, IVA 2008, Tokyo, Japan, September 1-3, 2008. Proceedings /
Έκδοση: (2008)