國立虎尾科技大學 |

Language: English

Login

Back

Switch To: Labeled | MARC Mode | ISBD

數理邏輯與機器證明

~

陸鐘萬

數理邏輯與機器證明

Record Type:	Language materials, printed : monographic
Author:	陸鐘萬,
Place of Publication:	北京市
Published:	科學出版;
Year of Publication:	民72
Edition:	1 版
Description:	4 186 面圖 : 20公分;
Series:	計算機科學叢書
Subject:	邏輯 -
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

based on 0 review(s)

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

C063255

圖書館3F 書庫

一般圖書(BOOK)

一般圖書

156 7484 72

一般使用(Normal)

On shelf

0

1 records • Pages 1 •
1

Reviews

Add a review and share your thoughts with other readers

Export

pickup library

Change password

Login