U. Furbach, и C. Obermaier. 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2007), Short Paper Session Proceedings, (2007)
%0 Conference Paper
%1 furbach:obermaierLPARshort
%A Furbach, Ulrich
%A Obermaier, Claudia
%B 14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2007), Short Paper Session Proceedings
%D 2007
%E Dershowitz, Nachum
%E Voronkov, Andrei
%K myown schon west.uni-koblenz.de
%T Knowledge Compilation for Description Logics
@inproceedings{furbach:obermaierLPARshort,
added-at = {2016-10-07T08:46:10.000+0200},
author = {Furbach, Ulrich and Obermaier, Claudia},
biburl = {https://www.bibsonomy.org/bibtex/2e76a44a8427c54bd023d3175525076ba/cschon},
booktitle = {14th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2007), Short Paper Session Proceedings},
date-added = {2012-07-07 20:10:15 +0200},
date-modified = {2012-07-07 20:10:15 +0200},
editor = {Dershowitz, Nachum and Voronkov, Andrei},
interhash = {ba88b01f1eb6581279d2a904119b0678},
intrahash = {e76a44a8427c54bd023d3175525076ba},
keywords = {myown schon west.uni-koblenz.de},
timestamp = {2017-07-12T13:49:23.000+0200},
title = {Knowledge Compilation for Description Logics},
year = 2007
}