LC Authority and Vocabulary Service is under maintenance!
While the ID.LOC.GOV service is under maintenance, all possible relationships between resources may not be expressed.
Full service will be restored as soon as possible. Thank you for your patience.
found: LPAR 2002 (2002 : Tbilisi, Georgia). Logic for programming, artificial intelligence, and reasoning, 2002: CIP t.p. (Matthias Baaz)
found: Computer science logic, 2003: CIP t.p. (Matthias Baaz) ds (b. Oct. 8, 1960)