Výsledky hledání pro autora

1

Obálka

Theory and applications of satisfiability testing, SAT 2005 : 8th international conference, SAT 2005, St Andrews, UK, June 19-23, 2005, proceedings /

Vydáno 2005

Další autoři: '; “...Bacchus, Fahiem...”

Kniha