大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 贝尔托 的图书(共2本)

交互式定理证明与程序开发 : Coq归纳构造演算的艺术 : coq'art: the calculus of inductive constructions

0
索取号：O141-39/20101
作者：贝尔托、卡斯特拉、顾明、
出版社：北京 : 清华大学出版社, 2010

当代中文. 教师手册. Manuel du professeur

0
索取号：H195.4/200652
作者：吴中伟、徐朋、贝尔托、
出版社：北京 : 北京大学出版社, 2006-