T. Eiter, и G. Gottlob. Structural Complexity and Recursion-theoretic methods in Logic-Programming, стр. 29-44. Mathematical Sciences Institute, Cornell University, (1992)
Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Conference Paper
%1 conf/iclp/EiterG92
%A Eiter, Thomas
%A Gottlob, Georg
%B Structural Complexity and Recursion-theoretic methods in Logic-Programming
%D 1992
%E Blair, Howard A.
%E Marek, V. Wiktor
%E Nerode, Anil
%E Remmel, Jeffrey B.
%I Mathematical Sciences Institute, Cornell University
%K dblp
%P 29-44
%T Complexity Results for Logic-Based Abduction.
%U http://dblp.uni-trier.de/db/conf/iclp/iclp92-w1.html#EiterG92
@inproceedings{conf/iclp/EiterG92,
added-at = {2013-12-02T00:00:00.000+0100},
author = {Eiter, Thomas and Gottlob, Georg},
biburl = {https://www.bibsonomy.org/bibtex/2e2b1d944f8cc55d9b92834202c80cf33/dblp},
booktitle = {Structural Complexity and Recursion-theoretic methods in Logic-Programming},
crossref = {conf/iclp/1992w1},
editor = {Blair, Howard A. and Marek, V. Wiktor and Nerode, Anil and Remmel, Jeffrey B.},
interhash = {83bf9487ad7968690329164c5765c453},
intrahash = {e2b1d944f8cc55d9b92834202c80cf33},
keywords = {dblp},
pages = {29-44},
publisher = {Mathematical Sciences Institute, Cornell University},
timestamp = {2018-06-22T11:50:02.000+0200},
title = {Complexity Results for Logic-Based Abduction.},
url = {http://dblp.uni-trier.de/db/conf/iclp/iclp92-w1.html#EiterG92},
year = 1992
}
