A Browsable Format for Proof Presentation (1996)

by Jim Grundy , Turku Centre , Computer Science
Venue:Mathesis Universalis
Citations:10 - 2 self