Josef Urban
Original record- Institution
- Charles University
- Year
- 2004
- Country
- Czech Republic
- MGP identifier
- 294043
Dissertation: Exploring and Combining Deductive and Inductive Reasoning in Large Libraries of Formalized Mathematics
Advisor 1
- Petr ŠtěpánekInstitution not recorded
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Daniel A. Kühlwein | Radboud Universiteit Nijmegen | 2014 | 0 |