%0 Conference Paper %1 conf/f-ic/Corman13 %A Corman, Julien %B IC %D 2013 %E Troncy, Raphaël %K dblp %P 249-258 %T Explorer les théorèmes d'une Tbox. %U http://dblp.uni-trier.de/db/conf/f-ic/ic2013.html#Corman13

@inproceedings{conf/f-ic/Corman13, added-at = {2020-07-21T00:00:00.000+0200}, author = {Corman, Julien}, biburl = {https://www.bibsonomy.org/bibtex/275fcc3af4346b4735afc2fa1eb2f43e2/dblp}, booktitle = {IC}, crossref = {conf/f-ic/2013}, editor = {Troncy, Raphaël}, ee = {https://hal.archives-ouvertes.fr/IC_2013/hal-01107332}, interhash = {f66b3264ff4fb46d7551db4d4ca9e68c}, intrahash = {75fcc3af4346b4735afc2fa1eb2f43e2}, keywords = {dblp}, pages = {249-258}, timestamp = {2020-07-24T01:15:35.000+0200}, title = {Explorer les théorèmes d'une Tbox.}, url = {http://dblp.uni-trier.de/db/conf/f-ic/ic2013.html#Corman13}, year = 2013 }