Intelligent Computer Mathematics 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
by
 
Jeuring, Johan. editor.

Title
Intelligent Computer Mathematics 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

Author
Jeuring, Johan. editor.

ISBN
9783642313745

Physical Description
XVIII, 473p. 117 illus. online resource.

Series
Lecture Notes in Computer Science, 7362

Series Title
Lecture Notes in Computer Science, 0302-9743 ; 7362

Subject Term
Computer science.
 
Logic design.
 
Algebra -- Data processing.
 
Information storage and retrieval systems.
 
Artificial intelligence.

Added Author
Campbell, John A.
 
Carette, Jacques.
 
Reis, Gabriel.
 
Sojka, Petr.
 
Wenzel, Makarius.
 
Sorge, Volker.

Added Corporate Author
SpringerLink (Online service)

Electronic Access
http://dx.doi.org/10.1007/978-3-642-31374-5


LibraryMaterial TypeItem BarcodeShelf Number[[missing key: search.ChildField.HOLDING]]Status
Online LibraryE-Book197066-2001ONLINEElektronik Kütüphane