Biere, Armin

ID:DA16421019

別名: Biere, A. (Armin)

同姓同名の著者を検索

検索結果4件中 1-4 を表示

1

Handbook of satisfiability

edited by Armin Biere ... [et al.]

IOS Press c2021 2nd ed Frontiers in artificial intelligence and applications v. 336

pt. 2

所蔵館3館
2

Handbook of satisfiability

edited by Armin Biere ... [et al.]

IOS Press c2021 2nd ed Frontiers in artificial intelligence and applications v. 336

pt. 1

所蔵館3館
3

Handbook of satisfiability

edited by Armin Biere ... [et al.]

IOS Press c2009 Frontiers in artificial intelligence and applications v. 185

所蔵館26館
4

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

ed. Armin Biere, Carla P. Gomes

Springer 2006 Lecture notes in computer science 4121

所蔵館8館

この著者を外部サイトでさがす

関連著者

ページトップへ