登录
 机构网站
  1. 首页
  2. 馆藏纸本
  3. 图书详情
...

Higher-order algebra logic and term rewriting : second international workshop HOA ''95 Paderborn

出版社：Berlin ; New York : Springer, c1996.
ISBN：3540612548
出版年：1996
作者：HOA''95
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

Programming with higher-order logic
  • 作者：Miller,Dale
  • ISBN：9780521879408
  • 出版社：Cambridge : Cambridge University Press, 2012.
  • 出版年：2012
...

Isabelle/HOL : a proof assistant for higher-order logic
  • 作者：Nipkow,Tobias,
  • ISBN：3540433767
  • 出版社：Berlin ; New York : Springer, c2002.
  • 出版年：2002
...

Solving higher-order equations : from logic to programming
  • 作者：Prehofer,Christian,
  • ISBN：0817640320
  • 出版社：Boston : Birkhauser, c1998.
  • 出版年：1998
...

Intentional and higher-order modal logic : with applications to Montague semantics
  • 作者：Gallin,Daniel.
  • ISBN：044411002X
  • 出版社：Amsterdam : North Holland Pub. Co. ; New York : American Elsevier Pub. Co., 1975.
  • 出版年：1975
...

Higher-order systems
  • 作者：Battiston,Federico,
  • ISBN：9783030913731
  • 出版社：Cham, Switzerland : Springer, 2022.
  • 出版年：2022
...

Higher-order sensory processing
  • 作者：Guthrie,D. M.
  • ISBN：0719028043
  • 出版社：Manchester : The Univ. Pr., c1990
  • 出版年：1990