ACL2 Theorem Prover and Its Applications, 11–12 May
Vol. 3 No. 6 (2009), Features
Vol. 3 No. 6 (2009)

ACL2 Theorem Prover and Its Applications, 11–12 May

Features
Published 20-09-2024
Sandip Ray
Department of Computer Sciences, University of Texas at Austin

How to Cite

Ray, S. (2024). ACL2 Theorem Prover and Its Applications, 11–12 May. The Reasoner, 3(6). Retrieved from https://riviste.unimi.it/index.php/thereasoner/article/view/26354
ACM ACS APA ABNT Chicago Harvard IEEE MLA Turabian Vancouver WU H&M

Download Citation

Citavi/Endnote/Zotero/Mendeley (RIS) BibTeX
Creative Commons License

This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.

Downloads

Download data is not yet available.