Logic of Ruler and Compass Constructions.

Published in: CiE (2012)

Keyphrases

logic programming
classical logic
multi valued
modal logic
case study
digital circuits
probability theory
inference rules
logic synthesis
delay insensitive
abductive reasoning
predicate logic
database
search algorithm
decision trees
image processing
search engine
databases