Cover image for Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings
Title:
Intelligent Computer Mathematics MKM, Calculemus, DML, and Systems and Projects 2013, Held as Part of CICM 2013, Bath, UK, July 8-12, 2013. Proceedings
Author:
Carette, Jacques. editor.
ISBN:
9783642393204
Physical Description:
XVI, 384 p. 100 illus. online resource.
Series:
Lecture Notes in Computer Science, 7961
Subject Term:
Computer science.

Algebra -- Data processing.

Information storage and retrieval systems.

Artificial intelligence.

Text processing (Computer science.

Symbolic and Algebraic Manipulation.

Artificial Intelligence (incl. Robotics).

Math Applications in Computer Science.

Mathematical Logic and Formal Languages.

Document Preparation and Text Processing.

Information Storage and Retrieval.
Added Author:
Aspinall, David.

Lange, Christoph.

Sojka, Petr.

Windsteiger, Wolfgang.
Added Corporate Author:
SpringerLink (Online service)
Electronic Access:
http://dx.doi.org/10.1007/978-3-642-39320-4
Holds:
Copies:

Available:*

Library
Material Type
Item Barcode
Shelf Number
Status
Item Holds
Searching...
 E-Book 334781-1001 ONLINE(334781.1)
Searching...

On Order