URI(s)
Identifies LC/NAF RWO
Identifies RWO
Exact Matching Concepts from Other Schemes
Closely Matching Concepts from Other Schemes
Sources
- 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)
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
- 2002-09-25: new
- 2009-08-08: revised
Alternate Formats