汤姆·里奇
2004年9月28日
2024年5月6日星期一17:45:35+0200
伊莎贝尔/9e88c17a723e
法新社/65f70952d452
验证证明人AFP
@第{条验证证明人AFP,author={汤姆·里奇},title={一阶逻辑的机械验证的、有效的、完善的定理证明器},journal={正式证据存档},月={9月},年份={2004},注释={\url{https://isa-afp.org/entries/Verified-Prover.html},形式证明开发},ISSN={2150-914x},}
旧版本: