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

Automated theorem proving in software engineering
出版社：Berlin ; New York : Springer, c2001.
ISBN：3540679898
出版年：2001
作者：Schumann,Johann M.,
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Automated theorem proving : after 25 years : proceedings of the
  • 作者：Bledsoe,W. W.
  • ISBN：082185027X
  • 出版社：Providence : American Mathematical Society, c1984
  • 出版年：1984
...

First-order logic and automated theorem proving
  • 作者：Fitting,Melvin
  • ISBN：0387972331
  • 出版社：New York, c1990.
  • 出版年：1990
...

Current trends in hardware verification and automated theorem proving
  • 作者：Birtwistle,G.
  • ISBN：0387969888
  • 出版社：New York : Springer-Verlag, c1989.
  • 出版年：1989
...

First-order logic and automated theorem proving
  • 作者：Fitting,Melvin,
  • ISBN：0387945938
  • 出版社：New York : Springer, c1996.
  • 出版年：1996
...

Automated theorem proving : after 25 years
  • 作者：Special Session on Automatic Theorem Proving
  • ISBN：082185027X
  • 出版社：Providence, R.I. : American Mathematical Society, 1984.
  • 出版年：1984
...

Automated theorem proving : a logical basis
  • 作者：Loveland,Donald W.
  • ISBN：0720404991
  • 出版社：Amsterdam ; New York : North-Holland Pub. Co. ; New York : sole distributor for the U.S.A. and Canad
  • 出版年：1978