Meeting of the Association for Symbolic Logic: Hamilton, New Zealand, 1979.

Wilfred G. Malcolm M. J. Cresswell

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

Keyphrases

logic programming
modal logic
automated reasoning
classical logic
united kingdom
united states
symbolic data
high level
logical framework
computational properties
predicate logic
binary decision diagrams
neural learning
databases
linear logic
deontic logic
information systems
information retrieval