Home > Intelligent Computer Mathematics: International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.
Intelligent Computer Mathematics: International Conference, CICM 2015, Washington, DC, USA, July 13-17, 2015, Proceedings.
Book Informaton
Author
Manfred Kerber; Jacques Carette; Cezary Kaliszyk; Florian Rabe; Volker Sorge
Series
Lecture Notes in Computer Science
Volume
9150
Year of Publication
2015
Publisher
Springer International Publishing
Pages
XXI, 359
Language
EN
ISBN
9783319206141, 9783319206158
ARI Id
1664830720432
This page has been accessed 5 times.
Access Options
Citation Options
Download CitationShowing 1 to 20 of 36 entries
Chapters/Headings | Author(s) | Pages | Info |
I-XXI | |||
1-1 | |||
3-17 | |||
18-36 | |||
37-37 | |||
39-54 | |||
55-70 | |||
71-86 | |||
87-101 | |||
102-117 | |||
118-133 | |||
135-135 | |||
137-152 | |||
153-153 | |||
155-170 | |||
171-186 | |||
187-202 | |||
203-210 | |||
211-226 | |||
227-242 | |||
Chapters/Headings | Author(s) | Pages | Info |
Showing 1 to 20 of 36 entries
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