NCID | DA02672156 |
名称(HDNG) | Kleine Büning, Hans, 1948- |
生没年(DATE) | 1948- |
から見よ(SF) | Kleine Büning, H. Büning, H. Kleine (Hans Kleine) |
注記(NOTE) | Workshop on Computer Science Logic (1st : 1987 : Karlsruhe, Germany) CSL '87, c1988: CIP t.p. (H. Kleine Büning) verso t.p. (Fachbereich 11, Praktische Informatik, Univ. Duisburg) galley (Hans Kleine Büning) Workshop on Computer Science Logic (3rd : 1989 : Kaiserslautern, Germany). CSL '89, 1990: t.p. (H. Kleine Büning) data sheet (b. 6-14-48) |
LCAID | 88021175 |