Totality in Applicative Theories.

Gerhard Jäger Thomas Strahm

Published in: Ann. Pure Appl. Log. (1995)

Keyphrases

theoretical framework
data sets
information systems
search algorithm
legal knowledge
real time
knowledge base
website
high level
digital libraries
expert systems
multiresolution
domain knowledge
computational models