Integrating external deduction tools with ACL2

Journal of Applied Logic 2009 Vol. 7; Iss. 1

Integrating external deduction tools with ACL2

Matt Kaufmann, J Strother Moore, Sandip Ray, Erik Reeber
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:
7
Année:
2009
Langue:
english
Pages:
23
DOI:
10.1016/j.jal.2007.07.002
Fichier:
PDF, 266 KB
english, 2009
La conversion en est effectuée
La conversion en a échoué