語系:
繁體中文
English
日文
簡体中文
說明(常見問題)
登入
回首頁
切換:
標籤
|
MARC模式
|
ISBD
Theory and applications of satisfiab...
~
BacchusFahiem
Theory and applications of satisfiability testing: 8th international conference,SAT 2005,St Andrews,UK,June 19-23,2005..
紀錄類型:
書目-語言資料,印刷品 : Monograph/item
書名/作者:
Theory and applications of satisfiability testing: 8th international conference,SAT 2005,St Andrews,UK,June 19-23,2005../ Bacchus,Fahiem;Walsh,Toby
作者:
BacchusFahiem
其他作者:
WalshToby
出版者:
New York : Springer-Verlag, 2005
面頁冊數:
492頁; 23x15公分
標題:
Propositional calculus-Congres
標題:
Decision making -- Congresses
標題:
Computer algorithms-Congresses
ISBN:
3540262768(平裝)
Theory and applications of satisfiability testing: 8th international conference,SAT 2005,St Andrews,UK,June 19-23,2005..
BacchusFahiem
Theory and applications of satisfiability testing: 8th international conference,SAT 2005,St Andrews,UK,June 19-23,2005..
Bacchus,Fahiem;Walsh,Toby - 1st ed - New YorkSpringer-Verlag2005 - 492頁23x15公分 - Lecture Notes in Computer Science3569.
ISBN: 3540262768(平裝)Subjects--Topical Terms:
209373
Propositional calculus-Congres
Theory and applications of satisfiability testing: 8th international conference,SAT 2005,St Andrews,UK,June 19-23,2005..
LDR
:00512nam 2200157 450
001
187419
008
100623t2005 us a a 000 0 eng d
020
$a
3540262768(平裝)
035
$a
9421150
040
$b
eng
$c
DYU
041
$a
eng
044
$a
us
100
$a
BacchusFahiem
$3
209371
245
1 0
$a
Theory and applications of satisfiability testing: 8th international conference,SAT 2005,St Andrews,UK,June 19-23,2005..
$c
Bacchus,Fahiem;Walsh,Toby
250
$a
1st ed
260
$a
New York
$b
Springer-Verlag
$c
2005
300
$a
492頁
$c
23x15公分
490
$a
Lecture Notes in Computer Science
$v
3569
650
$a
Propositional calculus-Congres
$3
209373
650
$a
Decision making -- Congresses
$3
209374
650
$a
Computer algorithms-Congresses
$3
199995
700
$a
WalshToby
$3
209372
筆 0 讀者評論
全部
四樓西文圖書區
館藏
1 筆 • 頁數 1 •
1
條碼號
典藏地名稱
館藏流通類別
資料類型
索書號
使用類型
借閱狀態
預約狀態
備註欄
附件
801511300000039
四樓西文圖書區
1.圖書流通
圖書
511.3 B12
1.一般(Normal)
在架
0
1 筆 • 頁數 1 •
1
評論
新增評論
分享你的心得
Export
取書館別
處理中
...
變更密碼
登入