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

Handbook of practical logic and automated reasoning
出版社：Cambridge ; New York : Cambridge University Press, 2009.
ISBN：9780521899574
出版年：2009
作者：Harrison,J.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

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

Automated Practical Reasoning : Algebraic Approches
  • 作者：Pfalzgraf,Jochen. ed.
  • ISBN：3211826009
  • 出版社：Wien : Springer-Verlag, 1995.
  • 出版年：1995
...

Automated practical reasoning : algebraic approaches
  • 作者：Pfalzgraf,Jochen,
  • ISBN：3211826009
  • 出版社：Wien ; New York : Springer-Verlag, c1995.
  • 出版年：1995
...

Handbook of digital logic ... with practical applications
  • 作者：Cowan,Sam,
  • ISBN：0133771938
  • 出版社：Englewood Cliffs, N.J. : Prentice-Hall, c1985.
  • 出版年：1985
...

Logic programming and automated reasoning : 4th international conference, LPAR ''93, St. Petersburg,
  • 作者：Voronkov,A.
  • ISBN：3540569448
  • 出版社：Berlin ; New York : Springer-Verlag, 1993.
  • 出版年：1993
...

Logic for programming and automated reasoning : 7th International Conference, LPAR 2000, Reunion Isl
  • 作者：LPAR 2000
  • ISBN：3540412859
  • 出版社：Berlin ; New York : Springer, c2000.
  • 出版年：2000