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

A Resolution Principle for a Logic with Restricted Quantifiers
EISBN：9783540466703
PISBN：9783540550341
出版社：Springer Berlin Heidelberg
出版类型：Monograph
出版时间：1991
作者：H. -J. Bürckert
主题词：Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Mathematical Logic and Foundations
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Lecture Notes in Computer Science
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

A Resolution Principle for a Logic with Restricted Quantifiers
  • 作者：Hans-Jürgen Bürckert
  • EISBN：9783540466703
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1991
...

A Computational Logic
  • 作者：Boyer,Robert S.
  • PISBN：9780121229504
  • 出版时间：Legacy
...

A Course in Mathematical Logic
  • 作者：Yu. I. Manin
  • EISBN：9781475743852
  • 出版社：Springer New York
  • 出版时间：1977
...

Super-Resolution Microscopy - A Practical Guide
  • 作者：Birk
  • PISBN：9783527802074
  • 出版社：John Wiley & Sons, Inc
  • 出版时间：2017
...

A Concise Introduction to Mathematical Logic
  • 作者：Wolfgang Rautenberg
  • EISBN：9781441912213
  • 出版社：Springer New York
  • 出版时间：2010
...

Probabilistic Logic in a Coherent Setting
  • 作者：Giulianella Coletii,Romano Scozzafava
  • EISBN：9789401004749
  • 出版社：Springer Netherlands
  • 出版时间：2002