Checking proofs with a computer

  • D. Hartevelt

Student thesis: Master

Date of Award31 Aug 2009
Original languageEnglish
SupervisorJ.C.M. Baeten (Supervisor 1)

Cite this

Documents

  • full text

    File: application/pdf, 1.58 MB

    Type: Thesis

'