東華大學圖書館 |

Language: English

回圖書館首頁

手機版館藏查詢

Login

Back

Switch To: Labeled | MARC Mode | ISBD

Linked to FindBook

Google Book

Amazon

博客來

邏輯的引擎 /

Record Type:	Language materials, printed : Monograph/item
Title/Author:	邏輯的引擎 / / 馬丁.戴維斯(Martin Davis)著 ; 張卜天譯
Author:	戴維斯
other author:	張卜天
Published:	長沙市 : 湖南科學技術出版社, : 2005[民94],
Description:	[10],293,3面 : 圖 ; 22公分
Notes:	簡體字版
Subject:	數理邏輯 -
ISBN:	7535742394

邏輯的引擎 /
戴維斯(Davis, Martin)

邏輯的引擎 / 馬丁.戴維斯(Martin Davis)著 ; 張卜天譯 - 第1版 - 長沙市 : 湖南科學技術出版社, 2005[民94] - [10],293,3面 : 圖 ; 22公分 - 第一推動叢書. 第4輯.

簡體字版

ISBN: 7535742394人民幣20元Subjects--Topical Terms:

2268001
數理邏輯

邏輯的引擎 /
LDR:00662nam 2200229 ir4500 001 521908
005 20110131235344.0
008 170419s2005 cc g b 001 u chi d
020 $a 7535742394 $q (平裝) : $c 人民幣20元
035 $a 00317595
035 $a 521908
040 $a NDHU $b chi $e ccr
041 1 $a chi $h eng
066 $c $1
084 $a 156 $b 8365 $2 ncsclt
100 1 $a 戴維斯 $c (Davis, Martin) $e 著 $3 2846004
245 1 0 $a 邏輯的引擎 / $c 馬丁.戴維斯(Martin Davis)著 ; 張卜天譯
250 $a 第1版
260 $a 長沙市 : $b 湖南科學技術出版社, $c 2005[民94]
300 $a [10],293,3面 : $b 圖 ; $c 22公分
490 0 $a 第一推動叢書. 第4輯
500 $a 簡體字版
500 $a 參考書目:面264-273
500 $a 含索引
650 7 $a 數理邏輯 $2 csht $3 2268001
700 1 $a 張卜天 $e 譯 $3 2462125

based on 0 review(s)

Location: Year: Volume Number:

Items

1 records • Pages 1 •
1

Inventory Number

No. of reservations

00230669

四樓中文書區000-599(4F Eastern Language Books)

01.外借(書)_YB

一般圖書

156 4324.1 2005

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