語系:
繁體中文
English
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
面向計算機科學的數理邏輯
~
陸鍾萬
面向計算機科學的數理邏輯
紀錄類型:
書目-語言資料,印刷品 : 單行本
作者:
陸鍾萬,
出版地:
北京市
出版者:
科學;
出版年:
1998[民87]
版本:
第一版
面頁冊數:
14,258面21公分;
集叢名:
中國科學院研究生教學叢書
標題:
演算法 -
ISBN:
7030060652
面向計算機科學的數理邏輯
陸, 鍾萬
面向計算機科學的數理邏輯
/ 陸鍾萬著 - 第一版. - 北京市 : 科學, 1998[民87]. - 14,258面 ; 21公分. - (中國科學院研究生教學叢書).
參考書目: 面240-241.
ISBN 7030060652
演算法
面向計算機科學的數理邏輯
LDR
:00867nam2 2200265 450
001
496272
005
20101024125110.0
009
a00000000637
010
0
$a
7030060652
$b
平裝
$d
人民幣17.5元
100
$a
20080130d1998 m y0chiy09 e
101
0
$a
chi
102
$a
cn
105
$a
y a 000yy
200
1
$a
面向計算機科學的數理邏輯
$f
陸鍾萬著
205
$a
第一版
210
$a
北京市
$c
科學
$d
1998[民87]
215
0
$a
14,258面
$d
21公分
225
2
$a
中國科學院研究生教學叢書
305
$a
簡體字版
320
$a
參考書目: 面240-241
320
$a
附錄:自然推演中形式証明的簡明形式
410
1
$1
2001
$a
中國科學院研究生教學叢書
461
0
$1
2001
$a
中國科學院研究生教學叢書
606
$a
演算法
$3
469611
$2
csh
$3
725783
681
$a
312.931
$b
7484
700
$a
陸
$b
鍾萬
$4
著
$3
488430
801
1
$a
cw
$b
虎尾科技大學
$c
20061019
801
0
$a
cw
$b
虎尾科技大學
$c
20061019
$g
CCR
筆 0 讀者評論
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]
登入