How to formally and efficiently prove Prime(1999)

O. Caprotti, M.D. Oostdijk

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

Originele taal-2Engels
TitelSymbolic Computation and Automated Reasoning: The Calculemus-2000 Symposium
RedacteurenM. Kerber, M. Kohlhase
Plaats van productieSt. Andrews
UitgeverijA.K. Peters
Pagina's114-125
ISBN van geprinte versie1-56881-145-4
StatusGepubliceerd - 2000
Evenementconference; Calculemus 2000 -
Duur: 1 jan 2000 → …

Congres

Congresconference; Calculemus 2000
Periode1/01/00 → …
AnderCalculemus 2000

Citeer dit

Caprotti, O., & Oostdijk, M. D. (2000). How to formally and efficiently prove Prime(1999). In M. Kerber, & M. Kohlhase (editors), Symbolic Computation and Automated Reasoning: The Calculemus-2000 Symposium (blz. 114-125). A.K. Peters.