The logic system of concept graphs with negation : and its relationship to predicate logic

出版社:Berlin ; New York : Springer, c2003.
ISBN:3540206078
出版年:2003
作者:Dau,Frithjof.
资源类型:图书
细分类型:西文文献
相关推荐

Switching theory : insight through predicate logic

  • 作者:Vingron,Shimon Peter,
  • ISBN:3540403434
  • 出版社:Berlin ; New York : Springer, c2004.
  • 出版年:2004

A Predicate Spatial Logic for Mobile Pcocesses

  • 作者:Lin Huimin
  • 出版社:中国科学院
  • 出版年:2003

The strange logic of random graphs

  • 作者:Spencer,Joel.
  • ISBN:3540416544
  • 出版社:Berlin ; New York : Springer, c2001.
  • 出版年:2001

Logic programming and its applications

  • 作者:van Caneghem,M.,
  • 出版社:Norwood : Ablex, 1986.
  • 出版年:1986

Mathematical logic and its applications

  • 作者:Skordev,Dimitur Genchev
  • ISBN:0306425998
  • 出版社:New York : Plenum Press, c1987.
  • 出版年:1987

Logic programming and its applications

  • 作者:van Caneghem,M.,
  • ISBN:192.15
  • 出版社:Norwood : Ablex, 1986.
  • 出版年:1986