Higher-Order Systems

EISBN:9783030913748
PISBN:9783030913731
出版社:Springer Nature
出版时间:2022
作者:Federico Battiston;Giovanni Petri
主题词:Physics and Astronomy
学科:T 工业技术,TP 自动化技术、计算机技术
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Solving Higher-Order Equations

  • 作者:Christian Prehofer
  • EISBN:9781461217787
  • 出版社:Birkhäuser Boston
  • 出版时间:1998

Higher-Order Computability

  • 作者:John Longley,Dag Normann
  • EISBN:9783662479926
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2015

Incompleteness for Higher-Order Arithmetic

  • 作者:Yong Cheng
  • EISBN:9789811399497
  • 出版社:Springer Singapore
  • 出版时间:2019

Solving Higher-Order Equations

  • 作者:Christian Prehofer
  • EISBN:9781461217787
  • 出版社:Birkhäuser Boston
  • 出版时间:1998

Higher-Order Components for Grid Programming

  • 作者:Jan Dünnweber,Sergei Gorlatch
  • EISBN:9783642008412
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:2009

Higher-Order Algebra, Logic, and Term Rewriting

  • 作者:Gilles Dowek,Jan Heering,Karl Meinke,Bernhard Möller
  • EISBN:9783540683896
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1996