Meeting of the Association for Symbolic Logic Warsaw 1968.

Andrzej Mostowski Andrzej Blikle

Published in: J. Symb. Log. (1969)

Keyphrases

modal logic
classical logic
meeting room
website
asynchronous circuits
logic programming
multi valued
databases
connectionist learning
binary decision diagrams
high level
predicate logic
multi party
delay insensitive
logic synthesis
machine learning
real time
sound and complete axiomatization