Tait's conservative extension theorem revisited.

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

Keyphrases

databases
decision making
web services
database systems
information retrieval
learning algorithm
artificial intelligence
learning environment
cooperative
preprocessing
special case
sufficient conditions
von neumann