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

Isabelle/HOL : a proof assistant for higher-order logic
出版社：Berlin ; New York : Springer, c2002.
ISBN：3540433767
出版年：2002
作者：Nipkow,Tobias,
资源类型：图书
细分类型：西文文献
1浏览量
 馆际互借
访问借阅管理系统
相关推荐
...

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

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
...

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

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

Theory of a higher-order Sturm-Liouville equation
  • 作者：Kozlov,Vladimir,
  • ISBN：3540630651
  • 出版社：Berlin ; New York : Springer, c1997.
  • 出版年：1997
...

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