Login / Signup
A Logic Primer.
Stefan Conrad
Published in:
Logics for Databases and Information Systems (1998)
Keyphrases
</>
classical logic
logic programming
multi valued
real time
case study
automated reasoning
logical framework
proof theory
sound and complete axiomatization
linear temporal logic
delay insensitive
asynchronous circuits
abductive reasoning
predicate logic
evolutionary algorithm
data mining
databases