登录
 机构网站
  1. 首页
  2. 电子图书
  3. 图书详情
...

Tableau Systems for First Order Number Theory and Certain Higher Order Theories
EISBN：9783540374428
PISBN：9783540071495
出版社：Springer Berlin Heidelberg
出版类型：Monograph
出版时间：1975
版次：1975
作者：S.A. Toledo
主题词：Mathematics,Mathematics,general
语种：英语
所属数据库：SpringerLink电子图书(1815-2004)
丛书题名：Lecture Notes in Mathematics
2浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Tableau Systems for First Order Number Theory and Certain Higher Order Theories
  • 作者：Sue 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