A Formal Proof of Sylow's Theorem.

Florian Kammüller Lawrence C. Paulson

Published in: J. Autom. Reason. (1999)

Keyphrases

formal proof
theorem prover
multiresolution
real time
expert systems
intuitionistic logic
neural network
high level
high quality
color images