Non-totally transcendental unidimensional theories.

Anand Pillay Philipp Rothmaler

Published in: Arch. Math. Log. (1990)

Keyphrases

theoretical framework
databases
information retrieval
image sequences
domain theory
underlying assumptions
legal knowledge
artificial intelligence
decision trees
relational databases
multiresolution
computational models
general theory
theory revision
intelligent design