Theory and applications of satisfiability testing : 7th international conference, SAT 2004, Vancouver, BC, Canada, May 10-13, 2004 : revised selected papers

Podrobná bibliografie

Další autoři:	Hoos, Holger H. (Editor)  Mitchell, David G., 1957- (Editor)
Konference:	SAT 2004 (Vancouver, Britská Kolumbie)
Médium:	Kniha
Jazyk:	angličtina
Vydáno:	Berlin : Springer, 2005
Edice:	Lecture notes in computer science, 3542
Žánr/forma:	sborníky konferencí
ISBN:	3-540-27829-X
Témata:	výroková logika Booleova algebra algoritmizace testování softwaru
On-line přístup:	Plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo otaguje tento záznam!