Annual Meeting of the Association for Symbolic Logic: Boston 1983.

George Boolos Sy D. Friedman

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

Keyphrases

modal logic
logic programming
classical logic
data sets
multi valued
genetic algorithm
logical framework
predicate logic
databases
symbolic representation
defeasible logic
binary decision diagrams
symbolic data
computational molecular biology