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.

Extracting Theory Graphs from Aldor Libraries

Florian Rabe 0001, Stephen M. Watt. Extracting Theory Graphs from Aldor Libraries. In Catherine Dubois, Manfred Kerber, editors, Intelligent Computer Mathematics - 16th International Conference, CICM 2023, Cambridge, UK, September 5-8, 2023, Proceedings. Volume 14101 of Lecture Notes in Computer Science, pages 315-320, Springer, 2023. [doi]

Authors

Florian Rabe 0001

This author has not been identified. Look up 'Florian Rabe 0001' in Google

Stephen M. Watt

This author has not been identified. Look up 'Stephen M. Watt' in Google
runs on