Model-Based Knowledge and Its Representation. (slides)(announcement)
What is a Formal System? The Idea of Geometrical Characteristics from Leibniz to Voevodsky. (slides)
Model-Based Knowledge and Its Representation. (slides)(announcement)
What is a Formal System? The Idea of Geometrical Characteristics from Leibniz to Voevodsky. (slides)
Powered by WordPress