Biere, Armin

ID:DA16421019

別名: Biere, A. (Armin)

同姓同名の著者を検索

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

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

Computer aided verification : 26th international conference, CAV 2014, held as part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 18-22, 2014: proceedings

Armin Biere, Roderick Bloem (eds.)

Springer c2014 Lecture notes in computer science 8559

: pbk

所蔵館1館
4

Handbook of satisfiability

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

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

所蔵館26館
5

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館

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

関連著者

ページトップへ