Logical Difference and Module Extraction with CEX and MEX

From Tetherless World Wiki

Jump to: navigation, search
 Logical Difference and Module Extraction with CEX and MEX
Has publishing details  , 2008
Has title  Logical Difference and Module Extraction with CEX and MEX
Has where published  Description Logics
Has year  2008
Has author  Boris Konev +, Carsten Lutz +, Dirk Walther +, Frank Wolter +
Has identifier  DBLP:conf/dlog/KonevLWW08 +
Categories  Proceeding Paper +

 

Enter the name of the page to start browsing from.
Retrieved from "http://tw.rpi.edu/wiki/Special:Browse"
Views
Personal tools