登录
 机构网站
  1. 首页
  2. 电子图书
  3. 图书详情
...

The Resolution Calculus
EISBN：9783642606052
PISBN：9783642644733
出版社：Springer Berlin Heidelberg
出版类型：Graduate/advanced undergraduate textbook
出版时间：1997
作者：Alexander Leitsch
主题词：Computational Mathematics and Numerical Analysis,Computation by Abstract Devices,Mathematical Logic and Foundations
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Texts in Theoretical Computer Science. An EATCS Series
2浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

The Resolution Calculus
  • 作者：Alexander Leitsch
  • EISBN：9783642606052
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1997
...

A Many-Sorted Calculus Based on Resolution and Paramodulation
  • 作者：Walther,Christoph
  • PISBN：9780273087182
  • 出版时间：Legacy
...

Calculus
  • 作者：Grossman,Stanley I.
  • PISBN：9780123043719
  • 出版时间：Legacy
...

Resolution of Singularities
  • 作者：Herwig Hauser,Joseph Lipman,Frans Oort,Adolfo Quiros
  • EISBN：9783034883993
  • 出版社：Birkhäuser Basel
  • 出版时间：2000
...

Calculus
  • 作者：Grossman,Stanley I.
  • PISBN：9780123043603
  • 出版时间：Legacy
...

Calculus
  • 作者：Harley Flanders
  • EISBN：9781475724806
  • 出版社：Springer New York
  • 出版时间：1996