C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
The Tableau Workbench.
Pietro Abate
Rajeev Goré
Published in:
Electron. Notes Theor. Comput. Sci. (2009)
Keyphrases
</>
description logics
automated theorem proving
proof search
optimal solution
neural network
data mining
proof procedure