My Account Log in

1 option

Intelligent Computer Mathematics : 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings / edited by Florian Rabe, William M. Farmer, Grant O. Passmore, Abdou Youssef.

SpringerLink Books Computer Science (2011-2024) Available online

View online
Format:
Book
Contributor:
Rabe, Florian, Editor.
Farmer, William M., Editor.
Passmore, Grant O., Editor.
Youssef, Abdou., Editor.
SpringerLink (Online service)
Series:
Computer Science (SpringerNature-11645)
Lecture notes in computer science. Lecture notes in artificial intelligence 2945-9141 ; 11006
Lecture Notes in Artificial Intelligence, 2945-9141 ; 11006
Language:
English
Subjects (All):
Artificial intelligence.
Machine theory.
Computer programming.
Compilers (Computer programs).
Social sciences-Data processing.
Education-Data processing.
Artificial Intelligence.
Formal Languages and Automata Theory.
Programming Techniques.
Compilers and Interpreters.
Computer Application in Social and Behavioral Sciences.
Computers and Education.
Local Subjects:
Artificial Intelligence.
Formal Languages and Automata Theory.
Programming Techniques.
Compilers and Interpreters.
Computer Application in Social and Behavioral Sciences.
Computers and Education.
Physical Description:
1 online resource (XII, 287 pages) : 102 illustrations
Edition:
1st ed. 2018.
Contained In:
Springer Nature eBook
Place of Publication:
Cham : Springer International Publishing : Imprint: Springer, 2018.
System Details:
text file PDF
Summary:
This book constitutes the refereed proceedings of the 11th International Conference on Intelligent Computer Mathematics, CICM 2018, held in Hagenberg, Austria, in August 2018. The 23 full papers presented were carefully reviewed and selected from a total of 36 submissions. The papers focos on the Calculemus, Digital Mathematics Libraries, and Mathematical Knowledge Management tracks which also correspond to the subject areas of the predecessor meetings. Orthogonally, the Systems and Projects track called for descriptions of digital resources, such as data and systems, and of projects, whether old, current, or new, and survey papers covering any topics of relevance to the CICM community.
Contents:
Calculemus
Digital Mathematical Libraries
Mathematical Knowledge Management.
Other Format:
Printed edition:
ISBN:
978-3-319-96812-4
9783319968124
Access Restriction:
Restricted for use by site license.

The Penn Libraries is committed to describing library materials using current, accurate, and responsible language. If you discover outdated or inaccurate language, please fill out this feedback form to report it and suggest alternative language.

My Account

Shelf Request an item Bookmarks Fines and fees Settings

Guides

Using the Library Catalog Using Articles+ Library Account