Home > Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings
Intelligent Computer Mathematics: MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings
Book Informaton
Author
Jacques Carette; David Aspinall; Christoph Lange; Petr Sojka; Wolfgang Windsteiger
Series
Lecture Notes in Computer Science
Volume
7961
Year of Publication
2013
Publisher
Springer Berlin Heidelberg
Pages
XVI, 384
Language
en
ISBN
9783642393198, 9783642393204, 3642393195
ARI Id
1664711158941
This page has been accessed 4 times.
Access Options
Citation Options
Download CitationChapters/Headings | Author(s) | Pages | Info |
Loading... | |||
Chapters/Headings | Author(s) | Pages | Info |
Topics
Mathematical Logic and Formal Languages Algebra Information storage and retrieval systems Text processing (Computer science) Information organization Information retrieval Math Applications in Computer Science Symbolic and Algebraic Manipulation Computer science Data processing Document Preparation and Text Processing Artificial intelligence Artificial Intelligence (incl. Robotics) Computer science mathematics Mathematics data processing Algebra data processing