Exploring Computational Contents of Intuitionist Proofs.

Geiza Maria Hamazaki da Silva Edward Hermann Haeusler Paulo A. S. Veloso

Published in: Log. J. IGPL (2005)

Keyphrases

metadata
neural network
theorem prover
artificial intelligence
expert systems
mathematical programming
computationally tractable
formal proofs