Step by Step - Building Representations in Algebraic Logic.

Robin Hirsch Ian M. Hodkinson

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

Keyphrases

higher level
modal logic
computer algebra
data sets
databases
logic programming
classical logic
mathematical theory
information retrieval
artificial intelligence
high level
higher order
logical framework
multiple representations