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 - 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, John A. Campbell, Jacques Carette, Gabriel Dos Reis, Petr Sojka, Makarius Wenzel, Volker Sorge, editors, 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. Volume 7362 of Lecture Notes in Computer Science, Springer, 2012. [doi]

Conference: AISC2012

Editors

Johan Jeuring

Identified as Johan Jeuring

John A. Campbell

This author has not been identified. Look up 'John A. Campbell' in Google

Jacques Carette

This author has not been identified. Look up 'Jacques Carette' in Google

Gabriel Dos Reis

This author has not been identified. Look up 'Gabriel Dos Reis' in Google

Petr Sojka

This author has not been identified. Look up 'Petr Sojka' in Google

Makarius Wenzel

This author has not been identified. Look up 'Makarius Wenzel' in Google

Volker Sorge

This author has not been identified. Look up 'Volker Sorge' in Google
runs on