Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/daisd/Casamayor92
%A Casamayor, Juan Carlos
%B DAISD
%D 1992
%E Olivé, Antoni
%I Universitat Politecnica de Catalunya (UPC)
%K dblp
%P 249-274
%T An Abductive Proof Procedure for Hypothetical Reasoning in Computational Theories.
%U http://dblp.uni-trier.de/db/conf/daisd/daisd92.html#Casamayor92
%V LSI/92/19
@inproceedings{conf/daisd/Casamayor92,
added-at = {2019-07-26T00:00:00.000+0200},
author = {Casamayor, Juan Carlos},
biburl = {https://www.bibsonomy.org/bibtex/2050789e1485cbab2d49200d88980d6f3/dblp},
booktitle = {DAISD},
crossref = {conf/daisd/1992},
editor = {Olivé, Antoni},
interhash = {7ab54e6e05111b5408a06e8ec8b67538},
intrahash = {050789e1485cbab2d49200d88980d6f3},
keywords = {dblp},
pages = {249-274},
publisher = {Universitat Politecnica de Catalunya (UPC)},
series = {Report de recerca},
timestamp = {2019-07-27T11:37:48.000+0200},
title = {An Abductive Proof Procedure for Hypothetical Reasoning in Computational Theories.},
url = {http://dblp.uni-trier.de/db/conf/daisd/daisd92.html#Casamayor92},
volume = {LSI/92/19},
year = 1992
}