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

Automated Database Applications Testing Specification Representation fpr Automated Reasoning
出版社：World Scientific 2009
ISBN：9812837280
出版年：2009
作者：Rana Farid Mikhail
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

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

Automated reasoning : introduction and applications
  • 作者：Wos,Larry
  • ISBN：0130544531
  • 出版社：Englewood Cliffs, N.J : Prentice-Hall, 1984.
  • 出版年：1984
...

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

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

Analogy of automated reasoning
  • 作者：Owen,Stephen
  • ISBN：0125317158
  • 出版社：London ; San Diego : Academic Press, c1990.
  • 出版年：1990
...

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