A resolution principle for a logic with restricted quantifiers

出版社:Berlin ; New York : Springer-Verlag, c1991.
ISBN:3540550348
出版年:1991
作者:Bürckert,H. J.
资源类型:图书
细分类型:西文文献
相关推荐

Introduction to mathematical logic and resolution principle

  • 作者:Wang,Guojun.
  • ISBN:9787030228994
  • 出版社:Beijing : Science Press, c2009.
  • 出版年:2009

Fuzzy quantifiers : a computational theory

  • 作者:Glöckner,Ingo.
  • ISBN:3540296344
  • 出版社:Berlin : [London] ; Springer, c2006.
  • 出版年:2006

A discrete maximum principle

  • 作者:Stys,T.
  • ISBN:0000000000
  • 出版社:Warszawa : Panstwowe Wydawnictwo Naukowe, 1981.
  • 出版年:1981

A discrete maximum principle

  • 作者:Tadeusz,Stys.
  • ISBN:830101119X
  • 出版社:Warszawa: Panstwowe Wydawnictwo Naukowe, 1981.
  • 出版年:1981

Organization : a formulation of principle

  • 作者:Brown,Alvin.
  • 出版社:New York : Hibbert Printing Company, 1945.
  • 出版年:1945

Logic and games on automatic structures : playing with quantifiers and decompositions

  • 作者:Kaiser,Łukasz.
  • ISBN:9783642228063
  • 出版社:Berlin ; New York : Springer, c2011.
  • 出版年:2011