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

Belief Revision in Non-Classical Logics
EISBN：9781447141860
PISBN：9781447141853
出版社：Springer London
出版类型：Brief
出版时间：2013
作者：Márcio Moretto Ribeiro
主题词：Artificial Intelligence (incl. Robotics),Mathematical Logic and Formal Languages,Mathematical Logic and Foundations,Epistemology,Logic,Ontology
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：SpringerBriefs in Computer Science
2浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Automated Deduction in Classical and Non-Classical Logics
  • 作者：Ricardo Caferra,Gernot Salzer
  • EISBN：9783540465089
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2000
...

Automated Deduction in Classical and Non-Classical Logics
  • 作者：Ricardo Caferra,Gernot Salzer
  • EISBN：9783540465089
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2000
...

Interval / Probabilistic Uncertainty and Non-Classical Logics
  • 作者：Van-Nam Huynh,Yoshiteru Nakamori,Hiroakira Ono,Jonathan Lawry,Vkladik Kreinovich,Hung T. Nguyen
  • EISBN：9783540776642
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2008
...

Non-Classical Logics, Model Theory, And Computability
  • 作者：A.I. Arruda,N.C.A. da Costa,R. Chuaqui
  • PISBN：9780720407525
  • 出版时间：Pre 2007
...

An Algebraic Approach to Non-Classical Logics
  • 作者：Helena Rasiowa
  • PISBN：9780720422641
  • 出版时间：Pre 2007
...

Algebraic and Proof-theoretic Aspects of Non-classical Logics
  • 作者：Stefano Aguzzoli,Agata Ciabattoni,Brunella Gerla,Corrado Manara,Vincenzo Marra
  • EISBN：9783540759393
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：2007