Human-centered automated proof search

From MaRDI portal
Publication:2069871

DOI10.1007/s10817-021-09594-zOpenAlexW3191531957MaRDI QIDQ2069871

Farzaneh Derakhshan, Wilfried Sieg

Publication date: 21 January 2022

Published in: Journal of Automated Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10817-021-09594-z




Related Items (1)


Uses Software


Cites Work




This page was built for publication: Human-centered automated proof search