相关推荐

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 Computability

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

Higher-Order Systems

  • 作者:Federico Battiston;Giovanni Petri
  • EISBN:9783030913748
  • 出版社:Springer Nature
  • 出版时间:2022

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