南開科技大學圖書館 |

Language: 繁體中文

說明(常見問題)

南開科技大學

圖書館首頁

編目中圖書申請

回首頁

切換: 標籤 | MARC模式 | ISBD

邏輯 : 形式推理的技術

紀錄類型:	書目-語言資料,印刷品 : 單行本
副題名:	形式推理的技術
Author:	嘉理錫,
其他作者:	孟塔庫,
其他作者:	馬爾,
其他作者:	劉福增,
出版者:
出版年:	民75 [1986]
版本:	初版
面頁冊數:	620面 : 表 ; 23公分
標題:	推理 -
附註:	附：本書譯者著作一覽表

邏輯 : 形式推理的技術
LDR:00575nam0 2200205 450 001 9044
005 20180904120703.0
009 00009247
010 0 $b 平裝 $d 新臺幣500元
100 $a 19940401d1986 m y0chiy08 e
101 0 $a chi
102 $a tw
105 $a y z 000yy
200 1 $a 邏輯 $e 形式推理的技術 $f 嘉理錫,孟塔庫,馬爾著 $g 劉福增譯
205 $a 初版
210 $d 民75 [1986]
215 0 $a 620面 $c 表 $d 23公分
300 $a 附：本書譯者著作一覽表
606 $a 推理 $2 csh $3 9509
681 $a 159.5 $b 4018
700 1 $a 嘉 $b 理錫 $4 著 $3 9506
702 1 $a 孟 $b 塔庫 $4 著 $3 9507
702 1 $a 馬 $b 爾 $4 著 $3 9508
702 1 $a 劉 $b 福增 $4 譯 $3 1042
801 0 $a tw $c 19940401 $g CCR
801 2 $a tw $b 南開 $c 20010101 $g CCR $m 4

0 筆讀者評論

館藏地: 出版年: 卷號:

館藏

1 筆 • 頁數 1 •
1

典藏地名稱

館藏流通類別

003182

四樓書庫(4th Floor-Chinese Books)

一般借閱

圖書

159.5 4018 75

一般(Normal)

在架

0

　

1 筆 • 頁數 1 •
1

建立或儲存個人書籤

書目轉出

取書館別

變更密碼

登入