| LC control no. | n 96080351 |
|---|---|
| Personal name heading | Baader, Franz |
| Found in | Frontiers of combining systems, 1996: CIP t.p. (Franz Baader; LuFG Theoretical Computer Sci., Tech. Univ. of Aachen) Term rewriting and all that, 1998: CIP t.p. (Franz Baader) data sheet (b. June 15, 1959) |
 |  |  |
View this record in: MARCXML | LC Authorities & Vocabularies | VIAF (Virtual International Authority File)
