Skip to content
Oviatt Library

Oviatt Library Catalog

 
     
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 / Johan Jeuring ... [et al.] eds.
Published Berlin : Springer, c2012.
Book Cover
LOCATION CALL # STATUS
 Floor3  QA76.9.M35 I58 2012    IN LIBRARY
  
Description xviii, 471 p. : ill. ; 24 cm.
Series Lecture notes in computer science ; 7362.
Lecture notes in computer science. Lecture notes in artificial intelligence.
LNCS sublibrary. SL 7, Artificial intelligence.
Bibliography Includes bibliographical references and index.
Subject Computer science -- Mathematics -- Congresses.
Artificial intelligence -- Mathematics -- Congresses.
Related Names Jeuring, Johan, 1965-
CICM (Conference) (5th : 2012: Bremen, Germany)
Alternate Title 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
ISBN 9783642313738
3642313736
OCLC number 815977732