Proof Theory for Fuzzy Logics

EISBN:9781402094095
PISBN:9781402094088
出版社:Springer Netherlands
出版类型:Monograph
出版时间:2009
作者:George Metcalfe,Nicola Olivetti,Dov Gabbay
主题词:Mathematical Logic and Foundations,Artificial Intelligence (incl. Robotics),Logic,Order,Lattices,Ordered Algebraic Structures
语种:英语
所属数据库:SpringerLink电子图书
丛书题名:Applied Logic Series
相关推荐

A Proof Theory for Description Logics

  • 作者:Alexandre Rademaker
  • EISBN:9781447140023
  • 出版社:Springer London
  • 出版时间:2012

Proof Theory

  • 作者:Wolfram Pohlers
  • EISBN:9783540693192
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2009

Proof Theory

  • 作者:Wolfram Pohlers
  • EISBN:9783540468257
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1989

Proof Theory

  • 作者:Kurt Schütte
  • EISBN:9783642664731
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1977

Proof Theory

  • 作者:K. Schütte
  • EISBN:9783642664731
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1977

Proof Theory

  • 作者:Wolfram Pohlers
  • EISBN:9783540468257
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1989