全部
图书期刊非书资料
电子资源
图书馆
- 图书馆(1)
资源类型
- 图书(1)
馆藏地址
- 2层原版外文书(1)
书目库
- 外文图书(1)
出版社
- CAMBRIDGE UNIVERSITY PRESS,(1)
出版时间
- c2016.(1)
-
BOUNDED VARIABLE LOGICS AND COUNTING :
索书号：O141.4/O91E
标准编码： 9781107167940 (hbk.)
出版信息：Cambridge : CAMBRIDGE UNIVERSITY PRESS, c2016.
主题词： MODEL THEORY. COMPUTATIONAL COMPLEXITY.
外文图书
1 共有：1条记录