Language:
English
繁體中文
Help
Login
Back
Switch To:
Labeled
|
MARC Mode
|
ISBD
面向計算機科學的數理邏輯
~
陸鍾萬
面向計算機科學的數理邏輯
Record Type:
Language materials, printed : monographic
Author:
陸鍾萬,
Place of Publication:
北京市
Published:
科學;
Year of Publication:
1998[民87]
Edition:
第一版
Description:
14,258面21公分;
Series:
中國科學院研究生教學叢書
Subject:
演算法 -
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
based on 0 review(s)
Reviews
Add a review
and share your thoughts with other readers
Export
pickup library
Processing
...
Change password
Login