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

Automated reasoning : introduction and applications
出版社：Englewood Cliffs, N.J : Prentice-Hall, 1984.
ISBN：0130544531
出版年：1984
作者：Wos,Larry
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Automated Database Applications Testing Specification Representation fpr Automated Reasoning
  • 作者：Rana Farid Mikhail
  • ISBN：9812837280 CNY565.00
  • 出版社：World Scientific 2009
  • 出版年：2009
...

Automated Database Applications Testing Specification Representation fpr Automated Reasoning
  • 作者：Rana Farid Mikhail
  • ISBN：9812837280
  • 出版社：World Scientific 2009
  • 出版年：2009
...

Foundations and applications of security analysis : Joint Workshop on Automated Reasoning for Securi
  • 作者：Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Sec
  • ISBN：9783642034589
  • 出版社：Berlin ; New York : Springer, c2009.
  • 出版年：2009
...

Automated reasoning and its applications : essays in honor of Larry Wos
  • 作者：Veroff,Robert
  • ISBN：0262220555
  • 出版社：Cambridge, Mass. : MIT Press, 1997.
  • 出版年：1997
...

Logic programming and automated reasoning
  • 作者：Pfenning,Frannk.,
  • ISBN：3540582169
  • 出版社：Berlin : Springer-Verlag, 1994
  • 出版年：1994
...

Journal of Automated Reasoning.
  • ISBN：01687433
  • 出版社：Springer
  • 出版年：2021