東華大學圖書館 |

Language: English

回圖書館首頁

手機版館藏查詢

Login

Back

Switch To: Labeled | MARC Mode | ISBD

Symbolic logic and mechanical theore...

~

Chang, Chin-Liang,1937-

Linked to FindBook

Google Book

Amazon

博客來

Symbolic logic and mechanical theorem proving

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Symbolic logic and mechanical theorem proving/
Author:	Chang, Chin-Liang
other author:	Chang, Chin-Liang,1937-
Published:	TaipeiScholars : 1985,
Description:	13, 331ill.22
Notes:	Includes bibliography and index.
Series:	Computer science classics
Subject:	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

based on 0 review(s)

Location: Year: Volume Number:

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

F0007299

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

01.外借(書)_YB

一般圖書

QA9 C483 1985

一般使用(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