Conference
Intelligent computer mathematics: International conference, CICM 2015 Washington, DC, USA, july 13–17, 2015 proceedings
Authors
Kerber M; Carette J; Kaliszyk C; Rabe F; Sorge V
Volume
9150
Publication Date
January 1, 2015
Conference proceedings
Lecture Notes in Computer Science Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics
ISSN
0302-9743