A Lambda Proof of The P-W Theorem.
Sachio HirokawaYuichi KomoriMisao NagayamaPublished in: J. Symb. Log. (2000)
Keyphrases
- interactive theorem proving
- fixed point
- theorem prover
- linear logic
- data mining
- mathematical proofs
- programming language
- heavy traffic limit
- intuitionistic logic
- von neumann
- theorem proving
- data sets
- multiresolution
- bayesian networks
- similarity measure
- case study
- image processing
- computer vision
- search engine
- databases