搜索筛选:
搜索耗时1.8875秒,为你在为你在102,285,761篇论文里面共找到 1 篇相符的论文内容
类      型:
[期刊论文] 作者:Takaaki Masuhara,Toru Kuriyama, 来源:量子信息科学期刊(英文) 年份:2015
Formal verification using interactive theorem provers have been noticed as a method of verification of proofs that are too big for humans to check the validity...
相关搜索: