Jan Rauch
Original record- Institution
- Czechoslovak Academy of Science
- Year
- 1987
- Country
- Czechoslovakia
- MGP identifier
- 142250
Dissertation: Logical Foundations of Mechanizing Hypothesis Formation from Databases
Mathematics Subject Classification: 03—Mathematical logic and foundations
Advisor 1
- Petr HájekCzechoslovak Academy of Science · 1964
Students 1
| Name | Institution | Year | Students |
|---|---|---|---|
| Martin Ralbovský | University of Economics, Prague | 2009 | 0 |