| LC control no. | n 96112010 |
|---|---|
| Personal name heading | Otto, Martin, 1961- |
| Found in | Bounded variable logics and counting, c1996: CIP t.p. (Martin Otto) t.p. verso (Mathematische Grundlagen der Informatik, RWTH Aachen, Aachen, Ger.) data sht. (b. Mar. 8, 1961) |
 |  |  |
View this record in: MARCXML | LC Authorities & Vocabularies | VIAF (Virtual International Authority File)
