Meeting of the Association for Symbolic Logic: San Francisco, 1981.

Jon Barwise Robert L. Vaught Yiannis N. Moschovakis

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

Keyphrases

san francisco
binary decision diagrams
logic programming
modal logic
predicate logic
meeting room
high level
logic synthesis
symbolic description
multi valued
set theory
proof theory
asynchronous circuits
databases
defeasible logic
automated reasoning
genetic algorithm