Login / Signup
and Its Tableau System.
Yuri Ozaki
Daisuke Bekki
Published in:
LACL (2011)
Keyphrases
</>
description logics
automated theorem proving
object oriented
database
image segmentation
relational databases
cost function
first order logic