Automated Theory Formation: The Next Generation (2014)
Attributed to:
UCT for Games and Beyond
funded by
EPSRC
Abstract
No abstract provided
Bibliographic Information
Type: Journal Article/Review
Parent Publication: IFCOLOG Journal Proceedings in Computational Logic, Special Issue on Theory Exploration,