How to formally and efficiently prove Prime(1999)

O. Caprotti, M.D. Oostdijk

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

Original languageEnglish
Title of host publicationSymbolic Computation and Automated Reasoning: The Calculemus-2000 Symposium
EditorsM. Kerber, M. Kohlhase
Place of PublicationSt. Andrews
PublisherA.K. Peters
ISBN (Print)1-56881-145-4
Publication statusPublished - 2000
Eventconference; Calculemus 2000 -
Duration: 1 Jan 2000 → …


Conferenceconference; Calculemus 2000
Period1/01/00 → …
OtherCalculemus 2000

Cite this