語系:
繁體中文
English
日文
簡体中文
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Logic for programming,artificial int...
~
VardiMoshe Y.
Logic for programming,artificial intelligence,and reasoning
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
書名/作者:
Logic for programming,artificial intelligence,and reasoning/ Vardi,Moshe Y.;Voronkov,Andrei
作者:
VardiMoshe Y.
其他作者:
VoronkovAndrei
出版者:
New York : Springer, 2003
面頁冊數:
436頁; 24x16公分
標題:
Logic programming-Congresses
標題:
Automatic theorem proving-Cong
ISBN:
3540201017(平裝)
Logic for programming,artificial intelligence,and reasoning
VardiMoshe Y.
Logic for programming,artificial intelligence,and reasoning
Vardi,Moshe Y.;Voronkov,Andrei - 1st ed - New YorkSpringer2003 - 436頁24x16公分 - LNAI2850.
ISBN: 3540201017(平裝)Subjects--Topical Terms:
200012
Logic programming-Congresses
Logic for programming,artificial intelligence,and reasoning
LDR
:00427nam 2200157 450
001
182679
008
100623t2003 us a a 000 0 eng d
020
$a
3540201017(平裝)
035
$a
9405723
040
$b
eng
$c
DYU
041
$a
eng
044
$a
us
100
$a
VardiMoshe Y.
$3
200010
245
1 0
$a
Logic for programming,artificial intelligence,and reasoning
$c
Vardi,Moshe Y.;Voronkov,Andrei
250
$a
1st ed
260
$a
New York
$b
Springer
$c
2003
300
$a
436頁
$c
24x16公分
490
$a
LNAI
$v
2850
650
$a
Logic programming-Congresses
$3
200012
650
$a
Automatic theorem proving-Cong
$3
200013
700
$a
VoronkovAndrei
$3
200011
筆 0 讀者評論
全部
四樓西文圖書區
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
801006300000216
四樓西文圖書區
1.圖書流通
圖書
006.3 V423
1.一般(Normal)
在架
0
1 筆 • 頁數 1 •
1
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼
登入