Hierarchical invention of theorem proving strategies

Jakubův, J., Urban, J.

JAKUBŮV, J. and J. URBAN. Hierarchical invention of theorem proving strategies. AI Communications. 2018, 31(3), 237-250. ISSN 0921-7126.

URL: https://content.iospress.com/journals/ai-communications/31/3