Automated Theory Formation: The Next Generation
Tools
Tools
Tools
Pease, Alison; Colton, Simon and Charnley, J. 2013. Automated Theory Formation: The Next Generation. IFCOLOG Journal Proceedings in Computational Logic, [Article]
No full text available|
Item Type: |
Article |
||||
| Departments, Centres and Research Units: |
|||||
| Dates: |
|
||||
| Item ID: |
9180 |
||||
| Date Deposited: |
18 Oct 2013 14:13 |
||||
| Last Modified: |
20 Jun 2017 09:53 |
||||
|
URI: |
 |
Edit Record (login required) |