Effective Logic Computation, Klaus Truemper.

Published in: J. Log. Lang. Inf. (1999)

Keyphrases

logic programming
high quality
computationally efficient
asynchronous circuits
artificial intelligence
decision making
expert systems
artificial neural networks
classical logic
predicate logic