FEMaLeCoP: Fairly Efficient Machine Learning Connection Prover

Find Full text
Thumbnail
Fulltext:
151396.pdf
Embargo:
until further notice
Size:
356.5Kb
Format:
PDF
Description:
Author’s version preprint
Publication year
2015
Author(s)
Kaliszyk, C.
Urban, J.
Publisher
Berlin : Springer Berlin Heidelberg
Series
Lecture Notes in Computer Science ; 9450
ISBN
9783662488980
In
Davis, M.; Fehnker, A.; McIver, A. (ed.), Logic for Programming, Artificial Intelligence, and Reasoning : 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings, pp. 88-96
DOI
Publication type
Part of book or chapter of book
Please use this identifier to cite or link to this item: https://hdl.handle.net/2066/151396   https://hdl.handle.net/2066/151396
Display more details

Upload full text

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