Patenting Logic, Mathematics or Logarithms? The Case of Computer-Assisted Proofs

  • Jordi Vallverdu
  • Recent Patents on Computer Science, January 2011, Bentham Science Publishers
  • DOI: 10.2174/2213275911104010066

The authors haven't finished explaining this publication. If you are the author, sign in to claim or explain your work.

Read Publication

The following have contributed to this page: Prof. Jordi Vallverdu