Catalog

Record Details

Catalog Search

Search Results filters

Filtered by:

OPAC Format Icons

E-book
×

Search Results Showing Item 1 of 2

Intelligent Computer Mathematics [electronic resource] : 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.

Carette, Jacques. (editor.). Aspinall, David. (editor.). Lange, Christoph. (editor.). Sojka, Petr. (editor.). Windsteiger, Wolfgang. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Record details

  • ISBN: 9783642393204
  • Physical Description: XVI, 384 p. 100 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg : 2013.
Subject: Computer science.
Algebra > Data processing.
Information storage and retrieval systems.
Artificial intelligence.
Text processing (Computer science.
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.
Search Results Showing Item 1 of 2

Additional Resources