The 11th IJCAR automated theorem proving system competition – CASC-J11

From MaRDI portal
Publication:6095787

DOI10.3233/aic-220244WikidataQ122234818 ScholiaQ122234818MaRDI QIDQ6095787

Martin Desharnais, Geoff Sutcliffe

Publication date: 8 September 2023

Published in: AI Communications (Search for Journal in Brave)






Cites Work


This page was built for publication: The 11th IJCAR automated theorem proving system competition – CASC-J11