%0 Conference Paper %1 conf/ijcai/SlagleCL69 %A Slagle, James R. %A Chang, Chin-Liang %A Lee, Richard C. T. %B IJCAI %D 1969 %E Walker, Donald E. %E Norton, Lewis M. %I William Kaufmann %K dblp %P 281-286 %T Completeness Theorems for Semantic Resolution in Consequence-Finding. %U http://dblp.uni-trier.de/db/conf/ijcai/ijcai69.html#SlagleCL69 %@ 0-934613-21-4

@inproceedings{conf/ijcai/SlagleCL69, added-at = {2019-08-20T00:00:00.000+0200}, author = {Slagle, James R. and Chang, Chin-Liang and Lee, Richard C. T.}, biburl = {https://www.bibsonomy.org/bibtex/2d8f8fdf5a4898714f73d792d33f9e84d/dblp}, booktitle = {IJCAI}, crossref = {conf/ijcai/1969}, editor = {Walker, Donald E. and Norton, Lewis M.}, ee = {http://ijcai.org/Proceedings/69/Papers/028.pdf}, interhash = {3b3c149b978fa17c6d4451ce4518b680}, intrahash = {d8f8fdf5a4898714f73d792d33f9e84d}, isbn = {0-934613-21-4}, keywords = {dblp}, pages = {281-286}, publisher = {William Kaufmann}, timestamp = {2019-08-21T11:56:19.000+0200}, title = {Completeness Theorems for Semantic Resolution in Consequence-Finding.}, url = {http://dblp.uni-trier.de/db/conf/ijcai/ijcai69.html#SlagleCL69}, year = 1969 }