| LC control no. | n 96037886 |
|---|---|
| Geographic heading | Terrasini (Italy) |
| Geographic subdivision usage | Italy--Terrasini |
| Found in | Theorem proving with analytic tableaux and related methods, c1996: CIP t.p. (Terrasini, Palermo, Italy) BGN, 04-17-96 (Terrasini; ppl 38°09ʺN, 13°05ʺE) |
| Geographic area code | e-it--- |
 |  |  |
View this record in: MARCXML | LC Authorities & Vocabularies | VIAF (Virtual International Authority File)
