建國科技大學圖書館 |

語系: 繁體中文

說明(常見問題)

圖書館個人資料蒐集告知聲明

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Symbolic Logic and Mechanical Theore...

~

Chan, g,Chin-Liang

Symbolic Logic and Mechanical Theorem Proving

紀錄類型:	書目-語言資料,印刷品 : 單行本
作者:	Chang,Chin-Liang,
合作者:	Lee,Richard Char-Tung,
出版地:	Taipei
出版者:	[?];
出版年:	c1973
面頁冊數:	331p.19cm.;
附註:	Includes index.

Symbolic Logic and Mechanical Theorem Proving
Chan, g,Chin-Liang

Symbolic Logic and Mechanical Theorem Proving = : / Chin-Liang ; - Taipei : [?], c1973. - 331p. ; 19cm..
Includes index..

Lee,, Richard Char-Tung

Symbolic Logic and Mechanical Theorem Proving
LDR:00445cam2 2200169 050 001 67770
005 20100521122542.0
009 00035235
010 1 $b bound
100 $a 20100528d y0 y09 e
101 0 $a eng
200 1 $a Symbolic Logic and Mechanical Theorem Proving $f Chin-Liang $d $e $g
205 $h ang,Richard Char-Tung Lee
210 $a Taipei $c [?] $d c1973
215 1 $a 331p. $d 19cm.
300 $a Includes index.
681 $a 511.3 $b C456
700 1 $a Chan $b g,Chin-Liang $3 91359
701 1 $a Lee, $b Richard Char-Tung $3 91360
801 0 $a cw $c 19940401 $g CCR

筆 0 讀者評論

館藏地: 出版年: 卷號:

館藏

期刊年代月份卷期操作說明(Help)

1 筆 • 頁數 1 •
1

典藏地名稱

館藏流通類別

期刊出刊日期 / 原館藏地 / 其他備註

783815

B2密集書庫2

圖書流通(BOOK_CIR)

BOOK

511.3/C456

一般使用(Normal)

書架上

0

B2密集二

1 筆 • 頁數 1 •
1

評論

新增評論分享你的心得

建立或儲存個人書籤

書目轉出

取書館別

變更密碼

登入