The Library of Congress > LCCN Permalink

View this record in:  MARCXML | LC Authorities & Vocabularies | VIAF (Virtual International Authority File)External Link

Terrasini (Italy)

LC control no.n 96037886
Geographic headingTerrasini (Italy)
    Browse this term in  LC Authorities  or the  LC Catalog
Geographic subdivision usageItaly--Terrasini
Found inTheorem 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 codee-it---