Sciweavers

JAR
2002

A New Implementation of Automath

14 years 8 days ago
A New Implementation of Automath
Freek Wiedijk
Added 22 Dec 2010
Updated 22 Dec 2010
Type Journal
Year 2002
Where JAR
Authors Freek Wiedijk
Comments (0)