Multi-output Ranking for Automated Reasoning
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Daniel Kühlwein, Josef Urban, Evgeni Tsivtsivadze, Herman Geuvers, Tom Heskes
Multi-output Ranking for Automated Reasoning
KDIR, 2011.

KDIR 2011
Full names Links ISxN
	author        = "Daniel Kühlwein and Josef Urban and Evgeni Tsivtsivadze and Herman Geuvers and Tom Heskes",
	booktitle     = "{Proceedings of the Third International Conference on Knowledge Discovery and Information Retrieval}",
	isbn          = "978-989-8425-79-9",
	pages         = "42--51",
	publisher     = "{SciTePress}",
	title         = "{Multi-output Ranking for Automated Reasoning}",
	year          = 2011,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.