Iterate Logic.

Peter H. Schmitt

Published in: Proof Theory in Computer Science (2001)

Keyphrases

logic programming
classical logic
automated reasoning
modal logic
database
data mining
image processing
case study
database systems
multi valued
nonmonotonic logics
formal theory
asynchronous circuits