© University of Kent - Contact | Feedback | Legal | FOI | Cookies
A learning context memory
P Mohr, N Ryan, and J Timmis
In 3rd UkUbiNet Workshop, pages 182-196, Bath,UK, February 2005.Bibtex Record
@inproceedings{2335,
author = {P Mohr and N Ryan and J Timmis},
title = {A Learning Context Memory},
month = {February},
year = {2005},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/2005/2335},
publication_type = {inproceedings},
submission_id = {2609_1137073183},
booktitle = {3rd UkUbiNet Workshop},
address = {Bath,UK},
}