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

Automated deduction in equational logic and cubic curves
出版社：Berlin ; New York : Springer, c1996.
ISBN：3540613986
出版年：1996
作者：McCune,W.
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Foundations of equational logic programming
  • 作者：Holldobler,Steffen,
  • ISBN：038751533X
  • 出版社：Berlin ; New York : Springer-Verlag, c1989.
  • 出版年：1989
...

Fuzzy equational logic
  • 作者：Bělohlávek,Radim.
  • ISBN：9783540262547
  • 出版社：Berlin ; New York : Springer, c2005.
  • 出版年：2005
...

Equational logic as a programming language
  • 作者：O''Donnell,Michael J.,
  • ISBN：026215028X
  • 出版社：Cambridge : MIT, c1985.
  • 出版年：1985
...

Instantiation theory : on the foundations of automated deduction
  • 作者：Williams,J.G.
  • ISBN：3540543333
  • 出版社：Berlin ; New York : Springer-Verlag, c1991.
  • 出版年：1991
...

Iteration theories : the equational logic of iterative processes
  • 作者：Bloom,Stephen L.,
  • ISBN：3540563784
  • 出版社：Berlin ; New York : Springer-Verlag, c1993.
  • 出版年：1993
...

Automated deduction - CADE-26 : 26th International Conference on Automated Deduction, Gothenburg, Sw
  • 作者：International Conference on Automated Deduction
  • ISBN：9783319630458
  • 出版社：Cham, Switzerland : Springer, 2017.
  • 出版年：2017