| LC control no. | n 00009356 |
|---|---|
| Personal name heading | Kohlhase, Michael, 1964- |
| Found in | Symbolic calculation and automated reasoning, 2001: CIP t.p. (Michael Kohlhase) data sheet (b.Sept. 13, 1964) |
 |  |  |
View this record in: MARCXML | LC Authorities & Vocabularies | VIAF (Virtual International Authority File)
