%0 Conference Paper %1 conf/cade/TsarkovH06 %A Tsarkov, Dmitry %A Horrocks, Ian %B IJCAR %D 2006 %E Furbach, Ulrich %E Shankar, Natarajan %I Springer %K dblp %P 292-297 %T FaCT++ Description Logic Reasoner: System Description. %U http://dblp.uni-trier.de/db/conf/cade/ijcar2006.html#TsarkovH06 %V 4130 %@ 3-540-37187-7

@inproceedings{conf/cade/TsarkovH06, added-at = {2022-04-12T00:00:00.000+0200}, author = {Tsarkov, Dmitry and Horrocks, Ian}, biburl = {https://www.bibsonomy.org/bibtex/2b4e90ecbd09e156ec59401c29edd4783/dblp}, booktitle = {IJCAR}, crossref = {conf/cade/2006}, editor = {Furbach, Ulrich and Shankar, Natarajan}, ee = {https://www.wikidata.org/entity/Q55894874}, interhash = {cad0ee02a1674720e1077c9df58f9a7b}, intrahash = {b4e90ecbd09e156ec59401c29edd4783}, isbn = {3-540-37187-7}, keywords = {dblp}, pages = {292-297}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T07:08:20.000+0200}, title = {FaCT++ Description Logic Reasoner: System Description.}, url = {http://dblp.uni-trier.de/db/conf/cade/ijcar2006.html#TsarkovH06}, volume = 4130, year = 2006 }