Correspondences between Gentzen and Hilbert systems.

James G. Raftery

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

Keyphrases

distributed systems
learning systems
case study
management system
real time
databases
data mining
computer vision
decision making
expert systems
pairwise
computer systems