Formalized mathematics (1996)

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