大葉大學圖書館 |

語系: 繁體中文

說明(常見問題)

登入

回首頁

切換: 標籤 | MARC模式 | ISBD

Formal methods in artificial intelli...

~

RamsayAllan (1953-)

Formal methods in artificial intelligence

紀錄類型:	書目-語言資料,印刷品 : Monograph/item
書名/作者:	Formal methods in artificial intelligence/ Ramsay,Allan,1953-
作者:	RamsayAllan
出版者:	Cambridge : Cambridge University Press, 1991
面頁冊數:	279頁; 25x18公分
標題:	Artificial intelligence-...
標題:	Logic,symbolic and...
標題:	Reasoning
ISBN:	0521424216(平裝)

Formal methods in artificial intelligence
RamsayAllan1953-

Formal methods in artificial intelligenceRamsay,Allan,1953- - CambridgeCambridge University Press1991 - 279頁25x18公分 - CAMBRIDGE TRACTS IN THEORETICAL COMPUTER SCIENCE6.

ISBN: 0521424216(平裝)Subjects--Topical Terms:

135406
Artificial intelligence-...

Formal methods in artificial intelligence
LDR:00416nam 2200145 450 001 155512
008 100623t1991 gb a a 000 0 eng d
020 $a 0521424216(平裝)
035 $a 8104476
040 $b eng $c DYU
041 $a eng
044 $a gb
100 $a RamsayAllan $d 1953- $3 151236
245 1 0 $a Formal methods in artificial intelligence $c Ramsay,Allan,1953-
260 $a Cambridge $b Cambridge University Press $c 1991
300 $a 279頁 $c 25x18公分
490 $a CAMBRIDGE TRACTS IN THEORETICAL COMPUTER SCIENCE $v 6
650 $a Artificial intelligence-... $3 135406
650 $a Logic,symbolic and... $3 142570
650 $a Reasoning $3 135951

筆 0 讀者評論

館藏

1 筆 • 頁數 1 •
1

典藏地名稱

館藏流通類別

801006300000041

四樓西文圖書區

1.圖書流通

圖書(book)

006.3 R148

1.一般(Normal)

在架

0

1 筆 • 頁數 1 •
1

評論

新增評論分享你的心得

Export

取書館別

變更密碼

登入