Nonclassical Logics and Information Processing

EISBN:9783540472803
PISBN:9783540557456
出版社:Springer Berlin Heidelberg
出版类型:Proceedings
出版时间:1992
版次:1992
作者:David Pearce,Heinrich Wansing
主题词:Computer Science,Theory of Computation,Logics and Meanings of Programs,Mathematical Logic and Foundations,Mathematical Logic and Formal Languages
语种:英语
相关推荐

Nonclassical Logics and Information Processing

  • 作者:David Pearce,Heinrich Wansing
  • EISBN:9783540472803
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1992

Information Retrieval: Uncertainty and Logics

  • 作者:Fabio Crestani,Mounia Lalmas,Cornelis Joost Rijsbergen
  • EISBN:9781461556176
  • 出版社:Springer US
  • 出版时间:1998

Logics for Databases and Information Systems

  • 作者:Jan Chomicki,Gunter Saake
  • EISBN:9781461556435
  • 出版社:Springer US
  • 出版时间:1998

Logics for Databases and Information Systems

  • 作者:Jan Chomicki,Gunter Saake
  • EISBN:9781461556435
  • 出版社:Springer US
  • 出版时间:1998

Information Retrieval: Uncertainty and Logics

  • 作者:Cornelis Joost van Rijsbergen,Fabio Crestani,Mounia Lalmas
  • EISBN:9781461556176
  • 出版社:Springer US
  • 出版时间:1998