External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Intelligent Computer Mathematics - 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings

Michael Kohlhase, Moa Johansson, Bruce R. Miller, Leonardo de de Moura, Frank Wm. Tompa, editors, Intelligent Computer Mathematics - 9th International Conference, CICM 2016, Bialystok, Poland, July 25-29, 2016, Proceedings. Volume 9791 of Lecture Notes in Computer Science, Springer, 2016. [doi]

Conference: mkm2016

Editors

Michael Kohlhase

This author has not been identified. Look up 'Michael Kohlhase' in Google

Moa Johansson

This author has not been identified. Look up 'Moa Johansson' in Google

Bruce R. Miller

This author has not been identified. Look up 'Bruce R. Miller' in Google

Leonardo de de Moura

This author has not been identified. Look up 'Leonardo de de Moura' in Google

Frank Wm. Tompa

This author has not been identified. Look up 'Frank Wm. Tompa' in Google
runs on