共 50 条
- [41] A Constructive Semantic Approach to Cut Elimination in Type Theories with Axioms COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2008, 5213 : 169 - +
- [44] THE CURRENT STATE OF GERMAN RESEARCH IN MEDIEVAL MUSIC MUSIKFORSCHUNG, 1984, 37 (04): : 257 - 259
- [49] American music education (Assessing the current state of music education in this country) CLAVIER, 2000, 39 (08): : 2 - +
- [50] PARACELSUS'THEORIES OF 'PLAGUE'EPIDEMICS:CURRENT STATE OF RESEARCH SCHOLE-FILOSOFSKOE ANTIKOVEDENIE I KLASSICHESKAYA TRADITSIYA-SCHOLE-ANCIENT PHILOSOPHY AND THE CLASSICAL TRADITION, 2024, 18 (02): : 888 - 925