Corrigendum to "A proof - technique in uniform space theory".

Douglas S. Bridges Luminita Vîta

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

Keyphrases

theoretical framework
theoretical basis
search space
theorem proving
neural network
space time
parameter space
real time
data sets
artificial neural networks
low dimensional
information space
general theory
proof theoretic