Contextual Logic of Change and Contextual Proofs.

Pedro A. de Matos João P. Martins

Published in: TIME (1997)

Keyphrases

contextual information
context sensitive
real time
natural deduction
database systems
data mining
computer vision
decision trees
theorem proving
set theory
proof theory