Annual Meeting of the Association for Symbolic Logic.

Donald A. Martin Terence Parsons Alexander S. Kechris

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

Keyphrases

logic programming
classical logic
proof theory
symbolic representation
asynchronous circuits
genetic algorithm
automated reasoning
probabilistic logic
predicate logic
computational molecular biology
information systems
knowledge base
set theory
symbolic description