Editors:
- Fast track conference proceedings
- Unique visibility
- State of the art research
Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7362)
Part of the book sub series: Lecture Notes in Artificial Intelligence (LNAI)
Conference series link(s): CICM: International Conference on Intelligent Computer Mathematics
Conference proceedings info: CICM 2012.
Buy it now
Buying options
Tax calculation will be finalised at checkout
Other ways to access
This is a preview of subscription content, log in via an institution to check for access.
Table of contents (38 papers)
-
Front Matter
-
Mathematical Knowledge Management 2012
-
Calculemus 2012
About this book
Editors and Affiliations
-
Department of Information and Computing Sciences, Utrecht University and Open Universiteit Nederland, Utrecht, The Netherlands
Johan Jeuring
-
Department of Computer Science, University College London, London, UK
John A. Campbell
-
Department of Computing and Software, McMaster University, Hamilton, Canada
Jacques Carette
-
Department of Computer Science and Engineering, Texas A&M University, College Station, USA
Gabriel Reis
-
Department of Computer Graphics and Design, Masaryk University, Brno, Czech Republic
Petr Sojka
-
Laboratoire de Recherche en Informatique (LRI - UMR8623) PCRI, Université Paris-Sud, Orsay Cedex, France
Makarius Wenzel
-
The University of Birmingham, School of Computer Science,, Edgbaston, UK
Volker Sorge
Bibliographic Information
Book Title: Intelligent Computer Mathematics
Book Subtitle: 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
Editors: Johan Jeuring, John A. Campbell, Jacques Carette, Gabriel Reis, Petr Sojka, Makarius Wenzel, Volker Sorge
Series Title: Lecture Notes in Computer Science
DOI: https://doi.org/10.1007/978-3-642-31374-5
Publisher: Springer Berlin, Heidelberg
eBook Packages: Computer Science, Computer Science (R0)
Copyright Information: Springer-Verlag Berlin Heidelberg 2012
Softcover ISBN: 978-3-642-31373-8Published: 27 June 2012
eBook ISBN: 978-3-642-31374-5Published: 25 June 2012
Series ISSN: 0302-9743
Series E-ISSN: 1611-3349
Edition Number: 1
Number of Pages: XVIII, 473
Number of Illustrations: 117 b/w illustrations
Topics: Symbolic and Algebraic Manipulation, Artificial Intelligence, Math Applications in Computer Science, Mathematical Logic and Formal Languages, Logics and Meanings of Programs, Information Storage and Retrieval