External Links

Cite Key

Statistics

  • References: 0
  • Cited by: 0
  • Reviews: 0
  • Bibliographies: 0

PDF

Researchr

Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.

Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.

Learning2Reason

Daniel Kühlwein, Josef Urban, Evgeni Tsivtsivadze, Herman Geuvers, Tom Heskes. Learning2Reason. In James H. Davenport, William M. Farmer, Josef Urban, Florian Rabe, editors, Intelligent Computer Mathematics - 18th Symposium, Calculemus 2011, and 10th International Conference, MKM 2011, Bertinoro, Italy, July 18-23, 2011. Proceedings. Volume 6824 of Lecture Notes in Computer Science, pages 298-300, Springer, 2011. [doi]

Authors

Daniel Kühlwein

This author has not been identified. Look up 'Daniel Kühlwein' in Google

Josef Urban

This author has not been identified. Look up 'Josef Urban' in Google

Evgeni Tsivtsivadze

This author has not been identified. Look up 'Evgeni Tsivtsivadze' in Google

Herman Geuvers

This author has not been identified. Look up 'Herman Geuvers' in Google

Tom Heskes

This author has not been identified. Look up 'Tom Heskes' in Google
runs on