Talks and Poster Presentations (with Proceedings-Entry):
E. Kotelnikov, L. Kovacs, A. Voronkov:
"A First Class Boolean Sort in First-Order Theorem Proving and TPTP";
Talk: International Conference on Intelligent Computer Mathematics (CICM),
Washington, DC, USA;
2015-07-13
- 2015-07-17; in: "Proc. of the International Conference on Intelligent Computer Mathematics",
M. Kerber et al. (ed.);
LNCS,
9150
(2015),
ISBN: 978-3-319-20614-1;
71
- 86.
"Official" electronic version of the publication (accessed through its Digital Object Identifier - DOI)
http://dx.doi.org/10.1007/978-3-319-20615-8
Created from the Publication Database of the Vienna University of Technology.