On the Logic of UNITY.

Peter Päppinghaus

Published in: Theor. Comput. Sci. (1995)

Keyphrases

logic programming
deontic logic
automated reasoning
asynchronous circuits
deductive reasoning
databases
information retrieval
image processing
website
database systems
multi agent
multi valued
classical logic
formal language
predicate logic
logic synthesis