Enhancements to ACL2 in Versions 6.2, 6.3, and 6.4

Autor:	Kaufmann, Matt, Moore, J Strother
Rok vydání:	2014
Předmět:	Computer Science - Artificial Intelligence Computer Science - Logic in Computer Science Computer Science - Mathematical Software
Zdroj:	EPTCS 152, 2014, pp. 1-7
Druh dokumentu:	Working Paper
DOI:	10.4204/EPTCS.152.1
Popis:	We report on improvements to ACL2 made since the 2013 ACL2 Workshop. Comment: In Proceedings ACL2 2014, arXiv:1406.1238
Databáze:	arXiv
Externí odkaz:	http://arxiv.org/abs/1406.1556 Zobrazit plný text záznamu View this record from Arxiv