%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 }