登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

Edinburgh LCF : a mechanised logic of computation
出版社：Berlin : Springer, 1979.
ISBN：0000000000
出版年：1979
作者：Gordon,M.J.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Edinburgh LCF : a mechanised logic of computation
  • 作者：Gordon,Michael J. C.,
  • ISBN：0387097244
  • 出版社：Berlin ; New York : Springer-Verlag, 1979.
  • 出版年：1979
...

Logic and computation : interactive proof with Cambridge LCF
  • 作者：Paulson.,Lawrence C.
  • ISBN：0521346320
  • 出版社：Cambridge ; New York : Cambridge University Press, 1987.
  • 出版年：1987
...

Computation as logic
  • 作者：Lalement,Ren鈋.
  • ISBN：0137700091 220.74
  • 出版社：Paris : Masson ; Hemel, Hempstead : Prentice Hall, c1993.
  • 出版年：1993
...

Logic, language, information and computation : 15th international workshop, WoLLIC 2008, Edinburgh,
  • 作者：WoLLIC 2008
  • ISBN：9783540699361
  • 出版社：Berlin ; New York : Springer, c2008.
  • 出版年：2008
...

Computation, logic, philosophy : a collection of essays
  • 作者：Wang,Hao.
  • ISBN：0792302184
  • 出版社：Beijing, China : Science Press, c1990.
  • 出版年：1990
...

Computation as logic
  • 作者：Lalement,Ren鈋.
  • ISBN：0137700091
  • 出版社：Paris : Masson ; Hemel, Hempstead : Prentice Hall, c1993.
  • 出版年：1993