Towards Mechanized Mathematical Assistants
Subtitle: 14th Symposium, Calculemus 2007, 6th International Conference, MKM 2007, Hagenberg, Austria, June 27-30, 2007, ... (Lecture Notes in Computer Science)
Contributors: Manuel Kauers (Editor); Manfred Kerber (Editor); Robert Miner (Editor); Wolfgang Windsteiger (Editor)
Edition: 1 edition
Publisher: Springer
Published: August 8, 2007
Language: eng
Format: Paperback
Number of pages: 407
ISBN-13: 9783540730835
Subjects: Algebra; Computers; Computers - General Information; Computer Books: General; Artificial Intelligence - General; Database Management - Database Mining; Networking - General; Computers / Artificial Intelligence; LaTeX; MathML; OpenMath project; XML; automated deduction systems; automated theory formation; computer algebra; e-learning; formal concept analysis; formal logic; formal mathematics; interactive algebra