A Direct Proof of Minkwitz's Extension Theorem.

Michael Clausen

Published in: Appl. Algebra Eng. Commun. Comput. (1997)

Keyphrases

interactive theorem proving
neural network
decision trees
database systems
multiscale
theorem proving
database
real time
real world
theorem prover