國立虎尾科技大學 |

語系: 繁體中文

說明(常見問題)

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

數理邏輯與機器證明

~

陸鐘萬

數理邏輯與機器證明

紀錄類型:	書目-語言資料,印刷品 : 單行本
作者:	陸鐘萬,
出版地:	北京市
出版者:	科學出版;
出版年:	民72
版本:	1 版
面頁冊數:	4 186 面圖 : 20公分;
集叢名:	計算機科學叢書
標題:	邏輯 -
ISBN:	7030019199

數理邏輯與機器證明
陸, 鐘萬

數理邏輯與機器證明 / 陸鐘萬著 - 1 版. - 北京市 : 科學出版, 民72. - 4 186 面 ; 圖 ; 20公分. - (計算機科學叢書).
含參考文獻.
ISBN 7030019199
邏輯

數理邏輯與機器證明
LDR:00648cam0 2200217 450 001 443943
005 20101023220355.0
010 0 $a 7030019199 $b (平裝) $d 人民幣5 元
100 $a 20080130d1983 m y0chib09 e
101 0 $a chi
102 $a cw
105 $a a z 000zy
200 1 $a 數理邏輯與機器證明 $f 陸鐘萬著
205 $a 1 版
210 $a 北京市 $c 科學出版 $d 民72
215 0 $a 4 186 面 $c 圖 $d 20公分
225 2 $a 計算機科學叢書
320 $a 含參考文獻
410 0 $1 2001 $a 計算機科學叢書
517 1 $a 数理逻辑与机器证明
606 $a 邏輯 $3 425045 $2 csh $3 726482
681 $a 156 $b 7484
700 $a 陸 $b 鐘萬 $4 著 $3 425044
801 0 $a cw $b 國立國立虎尾科技大學圖書館 $c 19990119 $g CCR

筆 0 讀者評論

館藏

1 筆 • 頁數 1 •
1

典藏地名稱

館藏流通類別

C063255

圖書館3F 書庫

一般圖書(BOOK)

一般圖書

156 7484 72

一般使用(Normal)

在架

0

1 筆 • 頁數 1 •
1

評論

新增評論分享你的心得

Export

取書館別

變更密碼[密碼必須為2種組合(英文和數字)及長度為10碼以上]

登入