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.

Biform Theories: Project Description

Jacques Carette, William M. Farmer, Yasmine Sharoda. Biform Theories: Project Description. In Florian Rabe, William M. Farmer, Grant O. Passmore, Abdou Youssef, editors, Intelligent Computer Mathematics - 11th International Conference, CICM 2018, Hagenberg, Austria, August 13-17, 2018, Proceedings. Volume 11006 of Lecture Notes in Computer Science, pages 76-86, Springer, 2018. [doi]

Authors

Jacques Carette

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

William M. Farmer

This author has not been identified. Look up 'William M. Farmer' in Google

Yasmine Sharoda

This author has not been identified. Look up 'Yasmine Sharoda' in Google
runs on