NCID | DA12544549 |
名称(HDNG) | Lempp, Steffen, 1959- |
生没年(DATE) | 1959- |
から見よ(SF) | Lempp, S |
注記(NOTE) | nuc90-25485: His Topics in recursively enumerable ... 1986 (hdg. on ICU rept.: Lempp, Steffen, 1959- ; usage: Steffen Lempp) Recursion theory and complexity, 1999 CIP t.p. (Steffen Lempp) d.s. (dob June 11, 1959) SRC:Recursion theory and complexity : proceedings of the Kazan'97 Workshop, Kazan, Russia, July 14-19, 1997 / editors Marat M. Arslanov, Steffen Lempp(Walter de Gruyter, 1999) |
LCAID | 90634061 |