Gleason's Theorem Has a Constructive Proof.

Published in: J. Philos. Log. (2000)

Keyphrases

interactive theorem proving
theorem proving
prostate cancer
mathematical proofs
neural network
data sets
artificial intelligence
proof search
proof theory
linear logic
von neumann
theorem prover
image analysis
real time
knowledge representation
case study
proof planning
intuitionistic logic
web services
search engine