Catalog

Record Details

Catalog Search


Intelligent Computer Mathematics [electronic resource] : 11th International Conference, AISC 2012, 19th Symposium, Calculemus 2012, 5th International Workshop, DML 2012, 11th International Conference, MKM 2012, Systems and Projects, Held as Part of CICM 2012, Bremen, Germany, July 8-13, 2012. Proceedings / edited by Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Reis, Petr Sojka, Makarius Wenzel, Volker Sorge.

Jeuring, Johan. (editor.). Campbell, John A. (editor.). Carette, Jacques. (editor.). Reis, Gabriel. (editor.). Sojka, Petr. (editor.). Wenzel, Makarius. (editor.). Sorge, Volker. (editor.). SpringerLink (Online service) (Added Author).

Electronic resources

Texto completo

Record details

  • ISBN: 9783642313745
  • Physical Description: XVIII, 473p. 117 illus. online resource.
  • Publisher: Berlin, Heidelberg : Springer Berlin Heidelberg, 2012.

Search for related items by subject

Subject: Computer science.
Logic design.
Algebra > Data processing.
Information storage and retrieval systems.
Artificial intelligence.
Computer Science.
Symbolic and Algebraic Manipulation.
Artificial Intelligence (incl. Robotics).
Math Applications in Computer Science.
Mathematical Logic and Formal Languages.
Logics and Meanings of Programs.
Information Storage and Retrieval.

Search for related items by series


Additional Resources