大葉大學圖書館 |

登入

回首頁

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