Logic Continuations.

Christopher T. Haynes

Published in: J. Log. Program. (1987)

Keyphrases

artificial intelligence
logic programming
multi valued
predicate logic
databases
set theory
search algorithm
modal logic
asynchronous circuits
proof theory
logic synthesis