© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Active alice: Active paper for active learning
Heather Brown
In Proceedings of ALT-C 97, pages 182-196, September 1997.Bibtex Record
@inproceedings{473,
author = {Heather Brown},
title = {Active Alice: Active Paper for Active Learning},
month = {September},
year = {1997},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1997/473},
booktitle = {Proceedings of ALT-C 97},
refereed = {Yes},
}