理论计算机科学 程序理论 释文 predicate transformer semantics 谓词转换语义
- professional sports in US
- professional sports labor contract
- professional sports league
- professional sports of Japan
- professional sports of Mexico
- professional sports system
- professional sports team
- professional standard for principal
- professional standard for teaching content in vocational education
- Professional Standards of Primary School Teacher（Proposal）
- Professional Standards of Secondary School Teacher（Proposal）
- professional task
- professional training program
- professional volunteer service
- profession of history
- professor
- Professor Mamlock
- professors' academic governance
- profibrinolysin
- PROFIBUS总线
- proficiency testing of forensic medicine identification
- proficient in law
- proficient teacher
- Profile
- profile