登入選單
Google圖書搜尋
Optimisation of Tableau-based Reasoning Systems fo...
作者
Andreas Steigmiller
出版2015
ISBN
OCLC:953314629
Coupling Tableau Algorithms for the DL SROIQ with ...
作者
Andreas Steigmiller / Birte Glimm / Thorsten Liebig
出版2014
ISBN
OCLC:895306388
Nominal Schema Absorption
作者
Andreas Steigmiller / Birte Glimm / Thorsten Liebig
出版2013
ISBN
OCLC:857991329
主題
Description logics
Extended Caching, Backjumping and Merging for Expr...
作者
Andreas Steigmiller / Birte Glimm / Thorsten Liebig
出版2012
ISBN
OCLC:839989341