登录
 机构网站
  1. 首页
  2. 电子图书
  3. 图书详情
...

Reasoning About Program Transformations
EISBN：9780387224619
PISBN：9780387953915
出版社：Springer New York
出版类型：Manual
出版时间：2003
作者：Jean-François Collard
主题词：Programming Languages,Compilers,Interpreters,Programming Techniques
语种：英语
所属数据库：SpringerLink电子图书
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Reasoning About Program Transformations
  • 作者：Jean-Francois Collard
  • EISBN：9780387224619
  • 出版社：Springer New York
  • 出版时间：2003
...

Reasoning About Plans
  • 作者：Allen,James
  • PISBN：9781558601376
  • 出版时间：Legacy
...

Qualitative Reasoning About Physical Systems
  • 作者：Bobrow,D.G.
  • PISBN：9780444876706
  • 出版时间：Legacy
...

Reasoning About Actions & Plans
  • 作者：Georgeff,Michael P.
  • PISBN：9780934613309
  • 出版时间：Legacy
...

Theoretical Aspects of Reasoning About Knowledge
  • 作者：Fagin,Ronald
  • PISBN：9781483214535
  • 出版时间：Legacy
...

Theoretical Aspects of Reasoning About Knowledge
  • 作者：Halpern,Joseph Y.
  • PISBN：9780934613040
  • 出版时间：Legacy