文件:HOL-family-tree.png

2022年6月8日 (三) 09:28的最后版本

《Computational Logic》 by Jörg H. Siekmann

p143

查看某一时刻的文件，请单击相应的日期/时间。

	日期/时间	缩略图	大小	用户	评论
当前	2022年6月8日 (三) 09:28		1,053 × 723 (111 KB)	Allen (讨论 \| 贡献)	图片取自：https://hol-theorem-prover.org/hol-course.pdf category:formal category:proof assistant
	2022年2月11日 (五) 04:28		706 × 616 (29 KB)	Allen (讨论 \| 贡献)	《Computational Logic》 by Jörg H. Siekmann p143 category:formal verification

以下的3个页面链接到本文件：

2022年2月11日 (五) 04:28的版本 (查看源代码) Allen (讨论 \| 贡献) (《Computational Logic》 by Jörg H. Siekmann p143 category:formal verification)		2022年6月8日 (三) 09:28的最后版本 (查看源代码) Allen (讨论 \| 贡献) (Allen上传“文件:HOL-family-tree.png”的新版本：图片取自：https://hol-theorem-prover.org/hol-course.pdf category:formal category:proof assistant)
（未显示1个用户的1个中间版本）
第3行：		第3行：
	p143		p143

−	[[category:formal ~~verification~~]]	+	[[category:formal]]