Intelligent computer mathematics: International conference, CICM 2015 Washington, DC, USA, july 13–17, 2015 proceedings

Manfred Kerber (Editor), Jacques Carette (Editor), Cezary Kaliszyk (Editor), Florian Rabe (Editor), Volker Sorge (Editor)

Research output: Book/ReportBook

1 Citation (Scopus)
Original languageEnglish
PublisherSpringer
Number of pages359
Volume9150
ISBN (Electronic) 9783319206158
ISBN (Print)9783319206141
DOIs
Publication statusPublished - 2015

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume9150
ISSN (Print)03029743
ISSN (Electronic)16113349

ASJC Scopus subject areas

  • Computer Science(all)
  • Theoretical Computer Science

Cite this