Theory and applications of satisfiability testing [E-Book] : 11th international conference, SAT 2008, Guangzhou, China, May 12-15, 2008 : proceedings / ed. by H. Kleine Büning ...
Kleine Büning, H., (editor)
Berlin : Springer, 2008
online resource
englisch
9783540797197 (e-book)
9783540797180
Lecture notes in computer science ; 4996
Full Text
LEADER 00962cam a2200253 n 4500
001 227231
008 r2008
020 |a 9783540797180 
020 |a 9783540797197 (e-book) 
035 |a (Sirsi) a177425 
035 |a i9783540797197 
041 |a eng 
245 0 0 |a Theory and applications of satisfiability testing  |h [E-Book] :   |b 11th international conference, SAT 2008, Guangzhou, China, May 12-15, 2008 : proceedings /   |c ed. by H. Kleine Büning ... 
260 |a Berlin :   |b Springer,   |c 2008  |e (Springer LINK) 
300 |a online resource 
490 0 |a Lecture notes in computer science ;  |v 4996 
500 |a englisch 
596 |a 1 
700 1 |a Kleine Büning, H.,   |e Hrsg. 
856 |u http://dx.doi.org/10.1007/978-3-540-79719-7  |z Volltext 
908 |a Konferenz 
915 |a zzwFZJ2 
932 |a Springer EBook 11.06.08 
949 |a XX(177425.1)  |w EBOOK  |c 1  |i 177425-1001  |l ELECTRONIC  |m ZB  |r Y  |s Y  |t E-BOOK  |u 25/3/2009  |1 ONLINE  |2 KONFERENZ