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

XYZ系统研制的背景与经历 :《时序逻辑程序设计与软件工程》序
出版社：中国科学院
出版年：1997
作者：唐稚松
资源类型：图书
细分类型：中文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

时序逻辑程序设计与软件工程. 下册, 软件工程方法与工具
  • 作者：唐稚松
  • ISBN：7030099281
  • 出版社：科学出版社
  • 出版年：2002
...

时序逻辑程序设计与软件工程. 上册, 时序逻辑语言
  • 作者：唐稚松
  • ISBN：7030070062
  • 出版社：科学出版社
  • 出版年：1999
...

Prolog逻辑程序设计及应用
  • 作者：周立柱
  • ISBN：7302008000
  • 出版社：清华大学出版社
  • 出版年：1991
...

Micro-PROLOG逻辑程序设计语言
  • 作者：克拉克
  • 出版社：清华大学出版社
  • 出版年：1987
...

知识图谱网群上的逻辑程序设计
  • 作者：王传庆
  • 出版社：中国科学院数学与系统科学研究院
  • 出版年：2023
...

逻辑程序设计语言及其实现技术
  • 作者：王鼎兴
  • ISBN：7302018413
  • 出版社：清华大学出版社
  • 出版年：1996