URI(s)
Identifies LC/NAF RWO
Identifies RWO
Exact Matching Concepts from Other Schemes
Closely Matching Concepts from Other Schemes
Sources
- found: Conference on Theoret. Aspects of Reasoning about Knowledge (2nd : 1988 : Pacific Grove, Calif.). Proceedings ... c1988:CIP t.p. (Moshe Y. Vardi; IBM Almaden Res. Ctr.)
- found: Formal techniques for networked and distributed systems--FORTE 2002, 2002:CIP t.p. (Moshe Y. Vardi) t.p. verso (Rice Univ., Dept. of Computer Science, Houston, Tec.) ds. (b. July, 1954)
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
- 1987-11-30: new
- 2002-10-24: revised
Alternate Formats