Login / Signup

A New Proof of a Classical Formula.

Habib Muzaffar
Published in: Am. Math. Mon. (2013)
Keyphrases
  • linear logic
  • case study
  • theorem proving
  • classical methods
  • data structure
  • relational databases