Hierarchical invention of theorem proving strategies

Hierarchical invention of theorem proving strategies

Jakubův, Jan, Urban, Josef, Fontaine, Pascal, Kaliszyk, Cezary, Schulz, Stephan, Urban, Josef
Avez-vous aimé ce livre?
Quelle est la qualité du fichier téléchargé?
Veuillez télécharger le livre pour apprécier sa qualité
Quelle est la qualité des fichiers téléchargés?
Volume:
31
Langue:
english
Journal:
AI Communications
DOI:
10.3233/aic-180761
Date:
May, 2018
Fichier:
PDF, 218 KB
english, 2018
La conversion en est effectuée
La conversion en a échoué