Login / Signup
The three dimensions of proofs.
Yves Guiraud
Published in:
Ann. Pure Appl. Log. (2006)
Keyphrases
</>
theorem proving
multi dimensional
database
real time
neural network
case study
multi agent
digital libraries
expert systems
artificial neural networks
control system
special case
dimensional data
mathematical proofs
interactive theorem proving