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

Resolution Proof Systems
EISBN：9789400916777
PISBN：9789401072519
出版社：Springer Netherlands
出版类型：Contributed volume
出版时间：1996
作者：Zbigniew Stachniak
主题词：Artificial Intelligence (incl. Robotics),Mathematical Logic and Foundations,Symbolic and Algebraic Manipulation
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Automated Reasoning Series
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Resolution Proof Systems
  • 作者：Z. Stachniak
  • EISBN：9789400916777
  • 出版社：Springer Netherlands
  • 出版时间：1996
...

Proof Theory and Intuitionistic Systems
  • 作者：Bruno Scarpellini
  • EISBN：9783540368755
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1971
...

Abstraction, Refinement and Proof for Probabilistic Systems
  • 作者：Annabelle McIver,Carroll Morgan
  • EISBN：9780387270067
  • 出版社：Springer New York
  • 出版时间：2005
...

Proof Theory and Intuitionistic Systems
  • 作者：Bruno Scarpellini
  • EISBN：9783540368755
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1971
...

Time Resolution in Auditory Systems
  • 作者：Axel Michelsen
  • EISBN：9783642706226
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1985
...

Deadlock Resolution in Automated Manufacturing Systems
  • 作者：ZhiWu Li,MengChu Zhou
  • EISBN：9781848822443
  • 出版社：Springer London
  • 出版时间：2009