Multi-Output Ranking for Automated Reasoning

Find Full text
Thumbnail
Fulltext:
92097.pdf
Size:
4.535Mb
Format:
PDF
Description:
preprint version
Download
Publication year
2011
Author(s)
Kühlwein, D.A.
Urban, J.
Tsivtsivadze, E.
Geuvers, H.
Heskes, T.
Publisher
s.n. : SciTePress
ISBN
9789898425799
In
KDIR : Proceedings of the International Conference on Knowledge Discovery and Information Retrieval, pp. 42-51
Related links
Annotation
International Conference on Knowledge Discovery and Information Retrieval (KDIR2011), Paris, France, 26 – 29 October, 2011
Publication type
Article in monograph or in proceedings
Please use this identifier to cite or link to this item:http://hdl.handle.net/2066/92097   http://hdl.handle.net/2066/92097
Display more details

Upload full text

Use your RU credentials (u/z-number and password) tolog in with SURFconextto upload a file for processing by the repository team.