Hierarchical invention of theorem proving strategies

From MaRDI portal
Publication:5145434

DOI10.3233/AIC-180761zbMath1462.68213arXiv1611.08733MaRDI QIDQ5145434

Jan Jakubův, Josef Urban

Publication date: 20 January 2021

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

Full work available at URL: https://arxiv.org/abs/1611.08733




Related Items (9)


Uses Software


Cites Work


This page was built for publication: Hierarchical invention of theorem proving strategies