東華大學圖書館 |

語系: 繁體中文

說明(常見問題)

回圖書館首頁

手機版館藏查詢

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Symbolic logic and mechanical theore...

~

Chang, Chin-Liang,1937-

FindBook

Google Book

Amazon

博客來

Symbolic logic and mechanical theorem proving

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
正題名/作者:	Symbolic logic and mechanical theorem proving/
作者:	Chang, Chin-Liang
其他作者:	Chang, Chin-Liang,1937-
出版者:	TaipeiScholars : 1985,
面頁冊數:	13, 331ill.22
附註:	Includes bibliography and index.
叢書名:	Computer science classics
標題:	Logic, Symbolic and mathematical. -
ISBN:	0121703509

Symbolic logic and mechanical theorem proving
Chang, Chin-Liang1937-

Symbolic logic and mechanical theorem proving - TaipeiScholars1985 - 13, 331ill.22 - Computer science classics.

Includes bibliography and index.

ISBN: 0121703509Subjects--Topical Terms:

532051
Logic, Symbolic and mathematical.

Symbolic logic and mechanical theorem proving
LDR:00442nam 2200157 u 450 001 636252
008 950731s1973 a 000 1 eng u
020 $a 0121703509
035 $a 00149224
040 $a NDHU $c NDHU $d NDHU
093 $a leu
100 $a Chang, Chin-Liang $d 1937- $3 638408
245 1 0 $a Symbolic logic and mechanical theorem proving
260 $a Taipei $a Taipei : $c 1985 $b Scholars $b 儒林書局發行;
300 $a 13, 331 $b ill. $c 22
440 $a Computer science classics
500 $a Includes bibliography and index.
500 $a Includes index.
650 $a Logic, Symbolic and mathematical. $3 532051
700 $a Chang, Chin-Liang,1937- $3 638406
700 $a Lee, Richard Char-Tung, 1939- $3 638407

筆 0 讀者評論

館藏地: 出版年: 卷號:

館藏

1 筆 • 頁數 1 •
1

典藏地名稱

館藏流通類別

F0007299

罕用書庫223室(美崙校區,調書請點預約)(RU_223)

01.外借(書)_YB

一般圖書

QA9 C483 1985

一般使用(Normal)

在架

0

1 筆 • 頁數 1 •
1

評論

新增評論分享你的心得

Export

取書館

變更密碼

登入