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

Solving higher-order equations : from logic to programming
出版社：Boston : Birkhauser, c1998.
ISBN：0817640320
出版年：1998
作者：Prehofer,Christian,
资源类型：图书
细分类型：西文文献
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
...

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

The Cauchy problem for higher-order abstract differential equations
  • 作者：Xiao,Ti-Jun,
  • ISBN：3540652388
  • 出版社：Berlin ; New York : Springer, c1998.
  • 出版年：1998
...

Higher-order components for grid programming : making grids more usable
  • 作者：Dunnweber,Jan.
  • ISBN：9783642008405
  • 出版社：New York : Springer, 2009.
  • 出版年：2009
...

Higher-order numerical methods for transient wave equations
  • 作者：Cohen,Gary
  • ISBN：354041598X
  • 出版社：Berlin ; New York : Springer, c2002.
  • 出版年：2002