語系:
繁體中文
English
日文
簡体中文
說明(常見問題)
登入
回首頁
到查詢結果
[ subject:"Automatic theorem proving-Cong" ]
切換:
標籤
|
MARC模式
|
ISBD
Automated reasoning:second internati...
~
Basin, David
Automated reasoning:second international joint conference,IJCAR 2004,Cork
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
書名/作者:
Automated reasoning:second international joint conference,IJCAR 2004,Cork/ Basin, David;Rusinowitch, Michael
作者:
Basin, David
其他作者:
Rusinowitch, Michael
出版者:
Berlin : Springer-Verlag, 2004
面頁冊數:
491頁; 24x16公分
標題:
Automatic theorem proving-Cong
標題:
Computer logic -- Congresses
ISBN:
3540223452(平裝)
Automated reasoning:second international joint conference,IJCAR 2004,Cork
Basin, David
Automated reasoning:second international joint conference,IJCAR 2004,Cork
Basin, David;Rusinowitch, Michael - 1st ed - BerlinSpringer-Verlag2004 - 491頁24x16公分 - Lecture Notes in Artificial Intelligence3097.
ISBN: 3540223452(平裝)Subjects--Topical Terms:
200013
Automatic theorem proving-Cong
Automated reasoning:second international joint conference,IJCAR 2004,Cork
LDR
:00478nam 2200157 450
001
187390
008
100607t2004 de a a 000 0 eng d
020
$a
3540223452(平裝)
035
$a
9421120
040
$b
eng
$c
DYU
041
0 #
$a
eng
044
$a
de
100
0
$a
Basin, David
$3
363203
245
1 0
$a
Automated reasoning:second international joint conference,IJCAR 2004,Cork
$c
Basin, David;Rusinowitch, Michael
250
$a
1st ed
260
#
$a
Berlin
$b
Springer-Verlag
$c
2004
300
$a
491頁
$c
24x16公分
490
0
$a
Lecture Notes in Artificial Intelligence
$v
3097
650
# 0
$a
Automatic theorem proving-Cong
$3
200013
650
# 0
$a
Computer logic -- Congresses
$3
207819
700
0 #
$a
Rusinowitch, Michael
$3
363204
筆 0 讀者評論
全部
四樓西文圖書區
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
801006333000002
四樓西文圖書區
1.圖書流通
圖書
006.333 B292
1.一般(Normal)
在架
0
1 筆 • 頁數 1 •
1
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼
登入