%0 Conference Paper %1 conf/aisc/Villadsen04 %A Villadsen, Jørgen %B AISC %D 2004 %E Buchberger, Bruno %E Campbell, John A. %I Springer %K dblp %P 38-51 %T A Paraconsistent Higher Order Logic. %U http://dblp.uni-trier.de/db/conf/aisc/aisc2004.html#Villadsen04 %V 3249 %@ 3-540-23212-5

@inproceedings{conf/aisc/Villadsen04, added-at = {2019-09-16T00:00:00.000+0200}, author = {Villadsen, Jørgen}, biburl = {https://www.bibsonomy.org/bibtex/259a60e962d089d26e2c51c4f8a81077b/dblp}, booktitle = {AISC}, crossref = {conf/aisc/2004}, editor = {Buchberger, Bruno and Campbell, John A.}, ee = {https://doi.org/10.1007/978-3-540-30210-0_5}, interhash = {d98414cb5c23e35747f7e560b37b650a}, intrahash = {59a60e962d089d26e2c51c4f8a81077b}, isbn = {3-540-23212-5}, keywords = {dblp}, pages = {38-51}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-09-17T12:31:54.000+0200}, title = {A Paraconsistent Higher Order Logic.}, url = {http://dblp.uni-trier.de/db/conf/aisc/aisc2004.html#Villadsen04}, volume = 3249, year = 2004 }