@书籍{zbMATH07545246，编辑={萨姆内斯，罗布和周，孔}，标题={第十七届{ACL2}定理证明器及其应用国际研讨会论文集，{Austin}，{Texas}，}USA，{May}26-272022}，F系列={理论计算机科学电子论文集（EPTCS）}，系列={电子程序理论或计算科学（EPTCS）}，ISSN={2075-2180}，体积={359}，年份={2022}，Publisher={滑铁卢：开放出版协会（OPA）}，语言={英语}，DOI={10.4204/EPTCS.359}，关键词={68-06,68V15,68V20,00B25}，URL={eptcs.web.cse.unsw.edu.au/content.cgi？ACL22022}，zbMATH={7545246}，Zbl=｛1489.68031｝}