© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Book Review in Mathematical Reviews
Phil Watson
Jain S, Learning with refutation, (99m:68166):182-196, December 1999.Bibtex Record
@article{1035, author = {Phil Watson}, title = {{Book Review in Mathematical Reviews}}, month = {December}, year = {1999}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/1999/1035}, journal = {Jain S, Learning with refutation}, number = {99m:68166}, publication_type = {article}, submission_id = {13091_955459802}, }