The Theory Behind TheoryMine (2010)
Attributed to:
Automated Theorem Discovery
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Publication URI: http://www.research.ed.ac.uk/portal/en/publications/the-theory-behind-theorymine(e4a3ed05-bf7e-446f-87af-886ec7ecc253).html
Type: Journal Article/Review
Volume: n/a
Parent Publication: Automatheo. FLoC