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

Automated reasoning and its applications : essays in honor of Larry Wos
出版社：Cambridge, Mass. : MIT Press, 1997.
ISBN：0262220555
出版年：1997
作者：Veroff,Robert
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Automated reasoning : essays in honor of Woody Bledsoe
  • 作者：Boyer R.S.
  • ISBN：0792314093
  • 出版社：Dordrecht ; Boston : Kluwer Academic Publishers, 1991.
  • 出版年：1991
...

The collected works of Larry Wos
  • 作者：Wos,Larry.
  • ISBN：9810240015
  • 出版社：Singapore : World Scientific, c2000.
  • 出版年：2000
...

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

Fuzzy reasoning and its applications
  • 作者：Mamdani,E. H.
  • ISBN：0124677509
  • 出版社：London ; New York : Academic Press, 1981.
  • 出版年：1981
...

Fuzzy reasoning and its applications
  • 作者：Mamdani,E.H.,...
  • 出版社：1981
  • 出版年：1981
...

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