The challenge of computer mathematics
β
Barendregt, Henk; Wiedijk, Freek
π
Article
π
2005
π
The Royal Society
π
English
β 378 KB