語系:
繁體中文
English
簡体中文
說明(常見問題)
圖書館個人資料蒐集告知聲明
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Bounded variable logics and counting...
~
Otto, Martin (1961-)
Bounded variable logics and counting : a study in finite mode
紀錄類型:
書目-語言資料,印刷品 : 單行本
副題名:
a study in finite mode
作者:
OttoMartin, 1961-
出版地:
BerlinNew York
出版者:
Springer;
出版年:
c1997
面頁冊數:
ix, 183 p.24 cm.;
集叢名:
Lecture notes in logic
標題:
Model theory -
標題:
Computational complexity -
ISBN:
3-540-62037-0
Bounded variable logics and counting : a study in finite mode
Otto, Martin
Bounded variable logics and counting
= : a study in finite mode / Martin Otto ; - BerlinNew York : Springer, c1997. - ix, 183 p. ; 24 cm.. - (Lecture notes in logic ; ).
Includes bibliographical references (p. [177]-179) and index.
ISBN 3-540-62037-0
Model theoryComputational complexity
Bounded variable logics and counting : a study in finite mode
LDR
:00661cam2 2200205 050
001
45333
005
20100521112921.0
009
00081814
010
1
$a
3-540-62037-0
$b
pbk.:alk. paper
$d
US49.95
100
$a
20100528d1997 u y0engy09 b
101
0
$a
eng
102
$b
gw
105
$a
y a 001yy
200
1
$a
Bounded variable logics and counting
$e
a study in finite mode
$f
Martin Otto
$d
$g
210
$a
BerlinNew York
$a
New York
$c
Springer
$d
c1997
215
1
$a
ix, 183 p.
$d
24 cm.
225
2
$a
Lecture notes in logic
$v
320
$a
Includes bibliographical references (p. [177]-179) and index
410
0
$1
2001
$a
Lecture notes in logic
$v
9
606
$a
Model theory
$2
lc
$3
67832
606
$a
Computational complexity
$2
lc
$3
66498
676
$a
511.33
$b
O91
700
1
$a
Otto
$b
Martin
$f
1961-
$3
67831
801
0
$a
cw
$c
19990714
$g
AACRII
筆 0 讀者評論
館藏地:
全部
B2密集書庫2
出版年:
卷號:
館藏
期刊年代月份卷期操作說明(Help)
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約人數
期刊出刊日期 / 原館藏地 / 其他備註
附件
097456
B2密集書庫2
圖書流通(BOOK_CIR)
BOOK
511.33/O91
一般使用(Normal)
書架上
0
B2密集二
1 筆 • 頁數 1 •
1
評論
新增評論
分享你的心得
建立或儲存個人書籤
書目轉出
取書館別
處理中
...
變更密碼
登入