Practical computer logic classes for computer science students: the use of logic analysers.

William A. Coey D. Q. M. Fay

Published in: ACM SIGCSE Bull. (1982)

Keyphrases

computer science students
logic programming
modal logic
multi valued
classical logic
real world
automated reasoning
computational properties
proof theory
delay insensitive
sound and complete axiomatization
databases
genetic algorithm
digital circuits
epistemic logic