DSpace at RU >

Browsing by Author Kühlwein, D.A.

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.