大葉大學圖書館 |

語系: 繁體中文

說明(常見問題)

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Truth,deduction,and computation:logi...

~

DavisR.E.

Truth,deduction,and computation:logic and semantics for...

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
書名/作者:	Truth,deduction,and computation:logic and semantics for.../ Davis,R.E.
作者:	DavisR.E.
出版者:	New York : W.h.freeman And Company, 1989
面頁冊數:	265頁; 24x17公分
標題:	Programming languages(...)...
標題:	Logic,symbolic and mathematica
標題:	Electronic data processing
ISBN:	0716782014(精裝)

Truth,deduction,and computation:logic and semantics for...
DavisR.E.

Truth,deduction,and computation:logic and semantics for...Davis,R.E. - New YorkW.h.freeman And Company1989 - 265頁24x17公分

ISBN: 0716782014(精裝)Subjects--Topical Terms:

149981
Programming languages(...)...

Truth,deduction,and computation:logic and semantics for...
LDR:00356nam 2200133 450 001 154862
008 100623t1989 us a a 000 0 eng d
020 $a 0716782014(精裝)
035 $a 8103648
040 $b eng $c DYU
041 $a eng
044 $a us
100 $a DavisR.E. $3 149980
245 1 0 $a Truth,deduction,and computation:logic and semantics for... $c Davis,R.E.
260 $a New York $b W.h.freeman And Company $c 1989
300 $a 265頁 $c 24x17公分
650 $a Programming languages(...)... $3 149981
650 $a Logic,symbolic and mathematica $3 142586
650 $a Electronic data processing $3 135357

筆 0 讀者評論

館藏

1 筆 • 頁數 1 •
1

典藏地名稱

館藏流通類別

801005130000014

四樓西文圖書區

1.圖書流通

圖書(book)

005.13 D297

1.一般(Normal)

在架

0

1 筆 • 頁數 1 •
1

評論

新增評論分享你的心得

Export

取書館別

變更密碼

登入