Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Report
%1 Silva2004
%A da Silva, Paulo P.
%A Hayes, Patrick J.
%A Mcguinness, Deborah L.
%A Fikes, Richard
%D 2004
%K kiwi
%T PPDR - a proof protocol for deductive reasoning
@techreport{Silva2004,
added-at = {2008-11-14T13:33:38.000+0100},
author = {da Silva, Paulo P. and Hayes, Patrick J. and Mcguinness, Deborah L. and Fikes, Richard},
biburl = {https://www.bibsonomy.org/bibtex/26bc0d4e43edd656e4e916fc51fd9d7e8/fraktalek},
citeulike-article-id = {3508908},
institution = {Knowledge Systems Laboratory, Stanford University},
interhash = {80b6176f6de957773e163ce94cf5b420},
intrahash = {6bc0d4e43edd656e4e916fc51fd9d7e8},
keywords = {kiwi},
posted-at = {2008-11-13 14:14:01},
priority = {2},
timestamp = {2008-11-14T13:33:38.000+0100},
title = {PPDR - a proof protocol for deductive reasoning},
year = 2004
}