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

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

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