Other Proofs of Old Results.

Henryk Kotlarski

Published in: Math. Log. Q. (1998)

Keyphrases

formal proofs
theorem proving
theorem prover
databases
mathematical proofs
equational theories
formal proof
decision procedures
neural network
database systems
video sequences
interactive theorem proving
special case
bayesian networks
multimedia
artificial intelligence
genetic algorithm