PuzzleTool : An Example of Programming Computation and Deduction.

Michael J. C. Gordon

Published in: TPHOLs (2002)

Keyphrases

programming language
general purpose
theorem prover
learning algorithm
information systems
feature selection
image processing
decision trees
relational databases
artificial neural networks
programming environment
programming education