| LC control no. | n 98015149 |
|---|---|
| Personal name heading | Steger, Angelika |
| Found in | Lectures on proof verification and approximation algorithms, c1998: CIP t.p. (Angelika Steger) t.p. verso (Inst. für Informatik, TU München, Ger.) |
 |  |  |
View this record in: MARCXML | LC Authorities & Vocabularies | VIAF (Virtual International Authority File)
