Language:
繁體中文
English
日文
說明(常見問題)
南開科技大學
圖書館首頁
編目中圖書申請
登入
回上頁
切換:
標籤
|
MARC模式
|
ISBD
Logic for computer science :foundati...
~
Gallier, Jean H.
Logic for computer science :foundations of automatic theorem proving /
紀錄類型:
書目-語言資料,印刷品 : 單行本
正題名/作者:
Logic for computer science :/ Jean H. Gallier.
其他題名:
foundations of automatic theorem proving /
作者:
Gallier, Jean H.
出版者:
New York, NY :Harper & Row,c1986.
面頁冊數:
xv, 511 p. ;25 cm.
叢書名:
Harper & Row computer science and technology series
標題:
Automatic theorem proving. -
ISBN:
0060422254 (hbk.)
ISBN:
9780060422257
Logic for computer science :foundations of automatic theorem proving /
Gallier, Jean H.
Logic for computer science :
foundations of automatic theorem proving /Jean H. Gallier. - New York, NY :Harper & Row,c1986. - xv, 511 p. ;25 cm. - Harper & Row computer science and technology series.
Includes bibliographies and indexes.
ISBN: 0060422254 (hbk.)
LCCN: 85014071 Subjects--Topical Terms:
148821
Automatic theorem proving.
LC Class. No.: QA76.9.A96 / G35 1986
Dewey Class. No.: 511.3
Logic for computer science :foundations of automatic theorem proving /
LDR
:00639cam _2200205 a_450
001
143082
005
20070213035123.0
008
850613s1986 nyu b 001 0 eng
010
$a
85014071
020
$a
0060422254 (hbk.)
020
$a
9780060422257
035
$a
00121630
040
$a
DLC
$c
DLC
049
$a
NKCA
050
0
$a
QA76.9.A96
$b
G35 1986
082
0
$a
511.3
$2
19
100
1
$a
Gallier, Jean H.
$3
165382
245
1 0
$a
Logic for computer science :
$b
foundations of automatic theorem proving /
$c
Jean H. Gallier.
260
$a
New York, NY :
$b
Harper & Row,
$c
c1986.
300
$a
xv, 511 p. ;
$c
25 cm.
440
0
$a
Harper & Row computer science and technology series
504
$a
Includes bibliographies and indexes.
650
0
$a
Automatic theorem proving.
$3
148821
650
0
$a
Logic, Symbolic and mathematical.
$3
147424
館藏地:
全部
六樓西文書庫 (6th Floor-Western Books)
出版年:
卷號:
館藏
此限制條件找不到符合的館藏，請您更換限制條件。
建立或儲存個人書籤
書目轉出
取書館別
處理中
...
變更密碼
登入