%0 Conference Paper %1 conf/mates/FurbachS16 %A Furbach, Ulrich %A Schon, Claudia %B MATES %D 2016 %E Klusch, Matthias %E Unland, Rainer %E Shehory, Onn %E Pokahr, Alexander %E Ahrndt, Sebastian %I Springer %K %P 3-17 %T Commonsense Reasoning Meets Theorem Proving. %U http://dblp.uni-trier.de/db/conf/mates/mates2016.html#FurbachS16 %V 9872 %@ 978-3-319-45888-5

@inproceedings{conf/mates/FurbachS16, added-at = {2023-12-13T00:36:16.000+0100}, author = {Furbach, Ulrich and Schon, Claudia}, biburl = {https://www.bibsonomy.org/bibtex/25d39fa85fb28a7baf5fa06c809c0a5ad/admin}, booktitle = {MATES}, crossref = {conf/mates/2016}, editor = {Klusch, Matthias and Unland, Rainer and Shehory, Onn and Pokahr, Alexander and Ahrndt, Sebastian}, ee = {https://doi.org/10.1007/978-3-319-45889-2_1}, interhash = {65bf6441d8671a12bf22ea055f4148aa}, intrahash = {5d39fa85fb28a7baf5fa06c809c0a5ad}, isbn = {978-3-319-45888-5}, keywords = {}, pages = {3-17}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T00:36:16.000+0100}, title = {Commonsense Reasoning Meets Theorem Proving.}, url = {http://dblp.uni-trier.de/db/conf/mates/mates2016.html#FurbachS16}, volume = 9872, year = 2016 }