Login / Signup
Properties and Relations of Tableau and Connection Calculi.
Reinhold Letz
Published in:
Intellectics and Computational Logic (2000)
Keyphrases
</>
desirable properties
neural network
description logics
algebraic structures
information retrieval
information systems
data model
logic programming
algebraic structure