Výsledky hledání pro autora

1

Obálka

Theory and applications of satisfiability testing, SAT 2006 : 9th international conference, SAT 2006, Seattle, WA, USA, August 12-15, 2006, proceedings /

Vydáno 2006

Další autoři: '; “...Gomes, Carla...”

Kniha