URI(s)
Codes
- e-it---
Identifies LC/NAF RWO
Exact Matching Concepts from Other Schemes
Closely Matching Concepts from Other Schemes
Sources
- found: Theorem proving with analytic tableaux and related methods, c1996:CIP t.p. (Terrasini, Palermo, Italy)
- found: BGN, 04-17-96(Terrasini; ppl 38°09ʺN, 13°05ʺE)
Instance Of
Scheme Membership(s)
Collection Membership(s)
Change Notes
- 1996-04-18: new
- 2010-05-16: revised
Alternate Formats