Short-circuit logic

Jan A. Bergstra Alban Ponse

Published in: CoRR (2010)

Keyphrases

short circuit
thin film
induction motor
classical logic
logic programming
modal logic
real time
genetic algorithm
artificial intelligence
decision making
back propagation
power consumption