The Matiyasevich Theorem. Preliminaries

Karol Pak
  • Formalized Mathematics, January 2017, De Gruyter
  • DOI: 10.1515/forma-2017-0029
The author haven't yet claimed this publicationThe author haven't yet claimed this publication

In partnership with: