Login / Signup

Progressive and merging-proof taxation.

Biung-Ghi JuJuan D. Moreno-Ternero
Published in: Int. J. Game Theory (2011)
Keyphrases
  • theorem prover
  • theorem proving
  • linear logic
  • run length coding
  • natural language
  • proof planning
  • computer vision
  • multiresolution
  • automated theorem proving
  • proof search
  • mathematical proofs