DL Reasoner vs. First-Order Prover

From Tetherless World Wiki

DBLP:conf/dlog/TsarkovH03 +  redirect page DL Reasoner vs. First-Order Prover +  Has identifier

DL Reasoner vs. First-Order Prover

Has publishing details  , 2003 Has title  DL Reasoner vs. First-Order Prover Has url  http://www.informatik.uni-trier.de/~ley/db/conf/dlog/dlog2003.html#TsarkovH03 Has where published  Description Logics Has year  2003 Has author  Dmitry Tsarkov +, Ian Horrocks + Has identifier  DL Reasoner vs. First-Order Prover + Categories  Proceeding Paper +

 

Enter the name of the page to start browsing from.