Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007. Proceedings /

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Kauers, Manuel (Επιμελητής έκδοσης), Kerber, Manfred (Επιμελητής έκδοσης), Miner, Robert (Επιμελητής έκδοσης), Windsteiger, Wolfgang (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2007.
• Σειρά: Lecture Notes in Computer Science, 4573
• Θέματα: Mathematics.; Computer communication systems.; Database management.; Data mining.; Artificial intelligence.; Algebra.; Artificial Intelligence (incl. Robotics).; Data Mining and Knowledge Discovery.; Information Systems Applications (incl. Internet).; Database Management.; Computer Communication Networks.

This volume contains the collected contributions of two conferences, Calcu- mus2007andMKM2007.Calculemus2007wasthe14thinaseriesofconferences dedicated to the integration of computer algebra systems (CAS) and automated deduction systems (ADS). MKM 2007 was the sixth International Conference on Mathem...