文学 语义学 释 Formal Semantics 形式语义学 语言学中采用形式化的方法来刻画自然语言语义的一个分支。 哲学 逻辑 释 formal semantics 形式语义学 逻辑学和语言学的交叉学科。又称逻辑语义学。
formal semantics 形式语义学
理论计算机科学 程序理论 释文 formal semantics 形式语义学
- European Court of Human Rights
- European Cultural Heritage Online
- European Data Relay Satellite
- European Defense Community
- European Early Childhood Education Research Association
- European Ecological Federation
- European Economic Area
- European Extremely Large Telescope
- European Federation for Information Technology in Agriculture, Food and the Environment
- European Federation of Animal Science
- European Federation of Chemical Engineering
- European Federation of Sport Psychology
- European Food Safety Authority
- European Football Championship
- European foulbrood disease
- European free-tailed bat
- European Geoscience Union
- European geostationary meteorological satellite
- European grassland
- European Gravitational Observatory
- European Group of Research and Insurance Economists
- European Higher Education Area
- European hydropower resources
- European Inland Fisheries and Aquaculture Advisory Commission
- European Journal of Agronomy