The Purpose of Proof.

Bruce W. Char Peter-Michael Osera David G. Wonnacott

Published in: SIGCSE (2) (2023)

Keyphrases

genetic algorithm
image processing
theorem prover
theorem proving
database systems
preprocessing
special case
real time
lower bound
probabilistic model