東華大學圖書館 |

Language: English

回圖書館首頁

手機版館藏查詢

Login

Back

Switch To: Labeled | MARC Mode | ISBD

Logic for computer science : = found...

~

Gallier, Jean H.

Linked to FindBook

Google Book

Amazon

博客來

Logic for computer science : = foundations of automatic theorem proving /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	Logic for computer science :/ Jean H. Gallier.
Reminder of title:	foundations of automatic theorem proving /
Author:	Gallier, Jean H.
Published:	New York, NY :Harper & Row, : c1986.,
Description:	xv, 511 p. ;25 cm.
Series:	Harper & Row computer science and technology series
Subject:	Automatic theorem proving. -
ISBN:	0060422254

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: 0060422254Subjects--Topical Terms:

655280
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:00540nam a2200157 a 45 001 647160
008 850613s1986 nyu b 00110 eng
020 $a 0060422254
035 $a dt 00006205 //r87
040 $a NDHU $c NDHU $d NDHU
050 0 $a QA76.9.A96 $b G35 1986
082 0 $a 511.3 $2 19
100 $a Gallier, Jean H. $3 540196
245 1 0 $a Logic for computer science : $b foundations of automatic theorem proving / $c Jean H. Gallier.
260 0 $a New York, NY : $c c1986. $b Harper & Row,
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 $a Automatic theorem proving. $3 655280
650 $a Logic, Symbolic and mathematical. $3 532051

based on 0 review(s)

Location: Year: Volume Number:

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

W0016337

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

01.外借(書)_YB

一般圖書

QA76.9.A96 G168 1986

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