|
DSpace at RU >
Browsing by Author Kühlwein, D.A.
Showing results 1 to 3 of 3
| Full Text | Issue Date | Title | Author(s) | | 2012 | Automated and Human Proofs in General Mathematics: An Initial Comparison | Alama, J.A.; Kühlwein, D.A.; Urban, J. |
| 2011 | Learning2Reason | Kühlwein, D.A.; Urban, J.; Tsivtsivadze, E.; Geuvers, H.; Heskes, T. |
| 2011 | Multi-Output Ranking for Automated Reasoning | Kühlwein, D.A.; Urban, J.; Tsivtsivadze, E.; Geuvers, H.; Heskes, T. |
Showing results 1 to 3 of 3
|