南開科技大學圖書館 |

Language: 繁體中文

說明(常見問題)

南開科技大學

圖書館首頁

編目中圖書申請

登入

回首頁

切換: 標籤 | 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

0 筆讀者評論

館藏地: 出版年: 卷號:

館藏

1 筆 • 頁數 1 •
1

典藏地名稱

館藏流通類別

E11016

六樓西文書庫 (6th Floor-Western Books)

一般借閱

外文書

* 511.3 G168 1986

一般(Normal)

在架

0

1 筆 • 頁數 1 •
1

建立或儲存個人書籤

書目轉出

取書館別

變更密碼

登入