The Theory Behind TheoryMine (2010)

First Author: Bundy, A
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