Research Online

Logo

Goldsmiths - University of London

Automated Theory Formation: The Next Generation

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:

Computing

Dates:

DateEvent
2013["eprint_fieldopt_dates_date_type_inproduction" not defined]

Item ID:

9180

Date Deposited:

18 Oct 2013 14:13

Last Modified:

20 Jun 2017 09:53

URI:

http://research.gold.ac.uk/id/eprint/9180

Edit Record Edit Record (login required)