课程章节

Tutorial on Isabelle/HOL 收藏

Isabelle / HOL教程
机构暂未开通该资源的服务权限，如有疑问请联系图书馆。
出版商
情报学院
学校
The University of Edinburgh(爱丁堡大学)
来源信息
AUTOMATED REASONING,文件类型：pa, 2013年
摘要
摘要译文
该类型资源无GB/T 7714-2015《信息与文献 参考文献著录规则》参照，请自行排列： 题名:Tutorial on Isabelle/HOL . 课程名称:AUTOMATED REASONING. 年份:2013.