Login / Signup
A Proof of Okninski, Putcha's Theorem.
Kunitaka Shoji
Published in:
Words, Languages & Combinatorics (2000)
Keyphrases
</>
interactive theorem proving
theorem prover
natural deduction
intuitionistic logic
computer vision
information systems
artificial intelligence
decision trees
case study
three dimensional
multi agent
mathematical proofs