| LC control no. | no2006075968 |
|---|---|
| Personal name heading | Biere, Armin |
| Variant(s) | Biere, A. (Armin) |
| Found in | Theory and applications of satisfiability testing, SAT 2006, c2006: t.p. (Armin Biere) t.p. verso (Johannes Kepler Univ. Linz, Inst. for Formal Models and Verification OCLC, July 21, 2006 (hdg.: Biere, Armin; usage: Armin Biere, A. Biere) |
 |  |  |
View this record in: MARCXML | LC Authorities & Vocabularies | VIAF (Virtual International Authority File)
