Terminology Web Services
Experimental Services for Controlled Vocabularies
a project of OCLC Research
AUTOMATH (Formal language)
Vocabulary:
lcsh
Type:
Topic
Broader Concepts
Formal languages
|
Mathematical notation
Links
Search WorldCat for AUTOMATH (Formal language)
Vocabulary description
OCLC ResearchWorks Terms of Use
