Tableau Systems for First Order Number Theory and Certain Higher Order Theories

EISBN:9783540374428
PISBN:9783540071495
出版社:Springer Berlin Heidelberg
出版类型:Monograph
出版时间:1975
作者:Sue Toledo
主题词:Mathematics,general
语种:英语
所属数据库:SpringerLink电子图书
相关推荐

Tableau Systems for First Order Number Theory and Certain Higher Order Theories

  • 作者:S.A. Toledo
  • EISBN:9783540374428
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1975

First-Order Programming Theories

  • 作者:Tamas Gergely,Laszlo Ury
  • EISBN:9783642582059
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1991

First-Order Programming Theories

  • 作者:Tamás Gergely,László Úry
  • EISBN:9783642582059
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1991

Higher-Order Systems

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

Higher Order Necessary Conditions in Optimal Control Theory

  • 作者:H. W. Knobloch
  • EISBN:9783540385486
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1981

Higher Order Necessary Conditions in Optimal Control Theory

  • 作者:H. W. Knobloch
  • EISBN:9783540385486
  • 出版社:Springer Berlin Heidelberg
  • 出版时间:1981