Can a computer proof be elegant?

Steven S. Seiden

Published in: SIGACT News (2001)

Keyphrases

computer systems
theorem proving
neural network
real time
information retrieval
data structure
special case
genetic algorithm
e learning
computer science
probabilistic model
personal computer
theorem prover
computer programming
proof planning