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

Generic Inference : a unifying theory for automated reasoning
出版社：Hoboken, New Jersey : Wiley, 2011.
ISBN：9780470527016
出版年：2011
作者：Pouly,Marc,
资源类型：图书
细分类型：西文文献
2浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Generic inference : a unifying theory for automated reasoning
  • 作者：Pouly,Marc,
  • ISBN：9780470527016
  • 出版社：Hoboken, New Jersey : Wiley, c2011.
  • 出版年：2011
...

Automated reasoning for security protocol analysis and issues in the theory of security : joint work
  • 作者：Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Sec
  • ISBN：9783642160738
  • 出版社：Berlin ; New York : Springer, 2010.
  • 出版年：2010
...

Causality : models, reasoning, and inference
  • 作者：Pearl,Judea.
  • ISBN：9780521895606
  • 出版社：Cambridge, U.K. ; New York : Cambridge University Press, 2000.,Cambridge ; New York : Cambridge University Press, 2009.
  • 出版年：2009
...

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

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

Theory and design of shells on the basis of asymptotic analysis; a unifying approach to the variety
  • 作者：Rutten,Harry S.
  • 出版社：[Rijswijk, Netherlands] Rutten & Kruisman, Consulting Engineers, Holland, 1973.
  • 出版年：1973