Paper: Inductive Reasoning with Incomplete Specifications (Preliminary Report) (at LICS 1986)
Authors: Deepak Kapur David R. MusserAbstract
No Abstract Available
BibTeX
@InProceedings{KapurMusser-InductiveReasoningw, author = {Deepak Kapur and David R. Musser}, title = {Inductive Reasoning with Incomplete Specifications (Preliminary Report)}, booktitle = {Proceedings of the First Annual IEEE Symp. on Logic in Computer Science, {LICS} 1986}, year = 1986, editor = {Albert Meyer}, month = {June}, pages = {367--377}, location = {Cambridge, MA, USA}, publisher = {IEEE Computer Society Press} }