A short proof that 'proper = unit'.
Kenneth P. BogartDouglas B. WestPublished in: Discret. Math. (1999)
Keyphrases
- real world
- theorem prover
- high level
- mathematical proofs
- linear logic
- theorem proving
- data sets
- databases
- information systems
- decision trees
- three dimensional
- computer vision
- similarity measure
- reinforcement learning
- special case
- inference rules
- artificial intelligence
- information retrieval
- data mining
- control unit
- proof theory