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

Features of The Temporal Logic Language XYZ/E for System Programming
出版社：中国科学院
出版年：1997
作者：Tang Zhisong
资源类型：图书
细分类型：中文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Temporal logic and temporal logic programming
  • 作者：Duan,Zhenhua.
  • ISBN：7030166515
  • 出版社：Beijing : Science Press, 2005.
  • 出版年：2005
...

Equational logic as a programming language
  • 作者：O''Donnell,Michael J.,
  • ISBN：026215028X
  • 出版社：Cambridge : MIT, c1985.
  • 出版年：1985
...

Programming language implementation and logic programming : proceedings
  • 作者：International Workshop PLILP ''90
  • ISBN：354053010X
  • 出版社：Berlin ; New York : Springer-Verlag, c1990.
  • 出版年：1990
...

Programming language implementation and logic programming : proceedings
  • 作者：International Workshop PLILP ''88
  • ISBN：0387508201
  • 出版社：Berlin ; New York : Springer-Verlag, c1989.
  • 出版年：1989
...

LYaPAS: a programming language for logic and coding algorithms
  • 作者：Gavrilov,M. A.
  • 出版社：N.Y. : Academic Press, c1969
  • 出版年：1969
...

LYaPAS : a programming language for logic and coding algorithms
  • 作者：Gavrilov,Mikhail Aleksandrovich.,
  • ISBN：0122778502
  • 出版社：New York : Academic Press, 1969.
  • 出版年：1969