理论计算机科学 程序理论 释文 propositional μ-calculus 命题μ演算
- Arts Circle
- Arts collection
- arts collector
- Arts College of Columbia University
- Arts College of Sichuan University
- Arts Council of Great Britain
- Arts Criticism
- art set
- arts exposition
- arts factory hub
- Arts festival
- arts for life
- arts for public welfare
- arts fund
- arts fundraising
- Arts & Humanities Citation Index，A&HCI
- Art signified
- Art signifier
- Arts Information and Communications
- Art Sinsabaugh
- Arts management education
- Arts Management Specialized Committee Of Chinese Academy of Artistic Theory
- Arts MarketIndex
- Arts Marketing
- arts mediator