Towards Mechanized Mathematical Assistants 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007: Proceedings - Calculemus 2007 (2007 : Hagenberg im Muhlkreis, Austria); Kauers, Manuel; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007)
Keywords: Algebra -- Data processing -- Congresses; Mathematical analysis -- Data processing -- Congresses; Logic, Symbolic and mathematical -- Congresses; Knowledge management -- Congresses; Computer Science; Artificial Intelligence (incl. Robotics); Computer Communication Networks; Data Mining and Knowledge Discovery; Database Management; Information Systems Applications (incl.Internet); Mathematics, general