Equational Reasoning in Isabelle
Equational Reasoning in Isabelle
复制标题
伊莎贝尔的等式推理
DOI：
10.1016/0167-6423(89)90038-5
复制
发表时间：
1989
期刊：
影响因子：
--
通讯作者：
T. Nipkow
中科院分区：
文献类型：
--
作者：
T. Nipkow
我们介绍了两门形式方法课程的教学经验，并详细介绍了课程内容及其在课程中的定位。第一门课程是关于逻辑系统和逻辑编程的学士课程，重点是…
We present our experiences teaching two courses on formal methods and detail the contents of the courses and their positioning in the curriculum. The first course is a bachelor course on logical systems and logic programming, with a focus on...