
Hierarchical invention of theorem proving strategies
Jakubův, Jan, Urban, Josef, Fontaine, Pascal, Kaliszyk, Cezary, Schulz, Stephan, Urban, JosefVolume:
31
Langue:
english
Journal:
AI Communications
DOI:
10.3233/aic-180761
Date:
May, 2018
Fichier:
PDF, 218 KB
english, 2018