Classical Proofs as Programs: How, What, and Why.

Chetan R. Murthy

Published in: Constructivity in Computer Science (1991)

Keyphrases

computer programs
neural network
computer vision
artificial neural networks
theorem proving
automatic programming
java programs
genetic algorithm
web services
case study
data structure
information technology
evolutionary algorithm
theorem prover
mathematical knowledge
equational theories