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

Decidable Theories I
EISBN：9783540362524
PISBN：9783540049098
出版社：Springer Berlin Heidelberg
出版类型：Monograph
出版时间：1970
作者：Gert H. Müller,Dirk Siefkes
主题词：Mathematical Logic and Foundations
语种：英语
所属数据库：SpringerLink电子图书
丛书题名：Lecture Notes in Mathematics
1浏览量
 馆际互借
 查看订购单位
原文链接
相关推荐
...

Decidable Theories
  • 作者：Dirk Siefkes,Gert H. Müller
  • EISBN：9783540362524
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1970
...

Decidable Theories
  • 作者：J.R. Büchi,D. Siefkes,G.H. Müller,D. Siefkes
  • EISBN：9783540469469
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1973
...

Decidable Theories II
  • 作者：J. Richard Büchi,Dirk Siefkes
  • EISBN：9783540469469
  • 出版社：Springer Berlin Heidelberg
  • 出版时间：1973
...

Computational Intelligence: Theories, Applications and Future Directions - Volume I
  • 作者：Nishchal K. Verma,A. K. Ghosh
  • EISBN：9789811311321
  • 出版社：Springer Singapore
  • 出版时间：2019
...

Structure of Decidable Locally Finite Varieties
  • 作者：Ralph McKenzie,Matthew Valeriote
  • EISBN：9781461245520
  • 出版社：Birkhäuser Boston
  • 出版时间：1989
...

Structure of Decidable Locally Finite Varieties
  • 作者：Ralph McKenzie,Matthew Valeriote
  • EISBN：9781461245520
  • 出版社：Birkhäuser Boston
  • 出版时间：1989