Torres, P and Ursu, Marian F.. 2011. 'Induction in First-Order Logic with Temporal Metric Operators'. In: Proceedings of the 21st Conference on Inductive Logic Programming. UNDEFINED. [Conference or Workshop Item]

No full text available

Item Type:	Conference or Workshop Item (Paper)
Departments, Centres and Research Units:	Computing
Dates:	Date Event 2011 ["eprint_fieldopt_dates_date_type_shown" not defined]
Item ID:	16428
Date Deposited:	25 Jan 2016 18:19
Last Modified:	25 Jan 2016 18:19
URI:	https://research.gold.ac.uk/id/eprint/16428

Edit Record (login required)