%0 Conference Paper %1 conf/aimsa/Besnard90 %A Besnard, Philippe %B AIMSA %D 1990 %E Jorrand, Philippe %E Sgurev, Vassil Stoyanov %I North-Holland %K dblp %P 33-42 %T Logics for Automated Reasoning in the Presence of Contradictions. %U http://dblp.uni-trier.de/db/conf/aimsa/aimsa1990.html#Besnard90 %@ 0-444-88771-7

@inproceedings{conf/aimsa/Besnard90, added-at = {2017-03-16T00:00:00.000+0100}, author = {Besnard, Philippe}, biburl = {https://www.bibsonomy.org/bibtex/2fc38dfdce3b5f8772bcf83d7c30edbfb/dblp}, booktitle = {AIMSA}, crossref = {conf/aimsa/1990}, editor = {Jorrand, Philippe and Sgurev, Vassil Stoyanov}, interhash = {a240715815aa572603d01f14bb6151f0}, intrahash = {fc38dfdce3b5f8772bcf83d7c30edbfb}, isbn = {0-444-88771-7}, keywords = {dblp}, pages = {33-42}, publisher = {North-Holland}, timestamp = {2017-03-17T11:36:39.000+0100}, title = {Logics for Automated Reasoning in the Presence of Contradictions.}, url = {http://dblp.uni-trier.de/db/conf/aimsa/aimsa1990.html#Besnard90}, year = 1990 }