Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013, Proceedings / edited by Jacques Carette, David Aspinall, Christoph Lange, Petr Sojka, Wolfgang Windsteiger.

This book constitutes the joint refereed proceedings of the 20th Symposium on the Integration of Symbolic Computation and Mechanized Reasoning, Calculemus 2013, 6th International Workshop on Digital Mathematics Libraries, DML 2013, Systems and Projects, held in Bath, UK as part of  CICM 2013, the Co...

Full description

Bibliographic Details

Corporate Author:	SpringerLink (Online service)
Other Authors:	Carette, Jacques (Editor), Aspinall, David (Editor), Lange, Christoph (Editor), Sojka, Petr (Editor), Windsteiger, Wolfgang (Editor)
Format:	eBook
Language:	English
Published:	Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2013.
Edition:	1st ed. 2013.
Series:	Lecture Notes in Artificial Intelligence ; 7961 Springer eBook Collection.
Subjects:	Computer science—Mathematics. Artificial intelligence. Mathematical logic. Natural language processing (Computer science). Information storage and retrieval. Electronic resources (E-books)
Online Access:	Click to view e-book
Holy Cross Note:	Loaded electronically. Electronic access restricted to members of the Holy Cross Community.