Výsledky hledání pro autora

1

Obálka

Handbook of satisfiability /

Vydáno 2009

Další autoři: '; “...Biere, Armin, 1967-...”

Kniha

2

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: '; “...Biere, Armin, 1967-...”

Kniha

3

Obálka

Handbook of satisfiability. Part 1 /

Vydáno 2021

Další autoři: '; “...Biere, Armin, 1967-...”

Kniha

4

Obálka

Handbook of satisfiability. Part 2 /

Vydáno 2021

Další autoři: '; “...Biere, Armin, 1967-...”

Kniha