© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Prolog Tracers and Information Access
M.J. Patel, J.B.H. du Boulay, and C. Taylor
In Proc. of 1st Moscow Internat. HCI Workshop, pages 182-196, August 1991.Bibtex Record
@inproceedings{1065,
author = {M.J. Patel and J.B.H. du Boulay and C. Taylor},
title = {Prolog {T}racers and {I}nformation {A}ccess},
month = {August},
year = {1991},
pages = {182-196},
keywords = {determinacy analysis, Craig interpolants},
note = {},
doi = {},
url = {http://www.cs.kent.ac.uk/pubs/1991/1065},
booktitle = {Proc. of 1st Moscow Internat. HCI Workshop},
other_year = {1991},
publication_type = {inproceedings},
refereed = {yes},
submission_id = {13860_963493223},
}