Flexary Operators for Formalized Mathematics
From MaRDI portal
Publication:5495932
DOI10.1007/978-3-319-08434-3_23zbMath1304.68171WikidataQ57389322 ScholiaQ57389322MaRDI QIDQ5495932
Michael Kohlhase, Florian Rabe, Fulya Horozal
Publication date: 7 August 2014
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-08434-3_23
68T30: Knowledge representation
Uses Software