Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Conference Paper
%1 conf/iclp/Blair82
%A Blair, Howard A.
%B ICLP
%D 1982
%E Caneghem, Michel Van
%I ADDP-GIA
%K dblp
%P 164-168
%T The Undecidability of Two Completeness Notions for the "Negation as Failure".
%U http://dblp.uni-trier.de/db/conf/iclp/iclp82.html#Blair82
@inproceedings{conf/iclp/Blair82,
added-at = {2013-11-29T00:00:00.000+0100},
author = {Blair, Howard A.},
biburl = {https://www.bibsonomy.org/bibtex/28d9c811b9f8d93ef9d77622c6f881b7b/dblp},
booktitle = {ICLP},
crossref = {conf/iclp/1982},
editor = {Caneghem, Michel Van},
interhash = {99111b3582b21b413d1c30298a53e310},
intrahash = {8d9c811b9f8d93ef9d77622c6f881b7b},
keywords = {dblp},
pages = {164-168},
publisher = {ADDP-GIA},
timestamp = {2013-11-30T11:33:19.000+0100},
title = {The Undecidability of Two Completeness Notions for the "Negation as Failure".},
url = {http://dblp.uni-trier.de/db/conf/iclp/iclp82.html#Blair82},
year = 1982
}