Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Conference Paper
%1 conf/kr/AttardiS94
%A Attardi, Giuseppe
%A Simi, Maria
%B KR
%D 1994
%E Doyle, Jon
%E Sandewall, Erik
%E Torasso, Pietro
%I Morgan Kaufmann
%K dblp
%P 15-26
%T Proofs in Context.
%U http://dblp.uni-trier.de/db/conf/kr/kr94.html#AttardiS94
%@ 1-55860-328-X
@inproceedings{conf/kr/AttardiS94,
added-at = {2012-05-18T00:00:00.000+0200},
author = {Attardi, Giuseppe and Simi, Maria},
biburl = {https://www.bibsonomy.org/bibtex/212b02d8e11db86a27b316b660c558d0d/dblp},
booktitle = {KR},
crossref = {conf/kr/1994},
editor = {Doyle, Jon and Sandewall, Erik and Torasso, Pietro},
interhash = {fac8b5077051c615c201aa2f9f7f3354},
intrahash = {12b02d8e11db86a27b316b660c558d0d},
isbn = {1-55860-328-X},
keywords = {dblp},
pages = {15-26},
publisher = {Morgan Kaufmann},
timestamp = {2012-05-19T11:38:43.000+0200},
title = {Proofs in Context.},
url = {http://dblp.uni-trier.de/db/conf/kr/kr94.html#AttardiS94},
year = 1994
}
