Formalized mathematics (1996)

by John Harrison
Venue:TURKU CENTRE FOR COMPUTER SCIENCE
Citations:23 - 0 self

Document Versions

Formalized mathematics –John Harrison — 1996 — TURKU CENTRE FOR COMPUTER SCIENCE
Formalized Mathematics –John Harrison, Turku Centre, Computer Science — 1996 — Turku Centre for Computer Science
Formalized Mathematics –John Harrison — 1996 — Turku Centre for Computer Science
Formalized Mathematics –John Harrison — 1996 — Turku Centre for Computer Science