＞数理逻辑与数学基础＞模型论＞释义 predicate calculus 谓词演算 predicate calculus 谓词演算†
理论计算机科学 程序理论 释文 predicate calculus 谓词演算
- astrospectrograph
- astrospectrometer
- astrospectrometry
- astrospectroscope
- astrospectroscopy
- astrosphere
- astrostatistics
- astrostereogram
- astrotaxis
- astrotelevision
- astrotomography
- astrotracker
- astrovehicle
- astrovelocimeter
- Astroviral gastroenteritis
- Astrup Fearnley Museum
- A Study in Choreography for Camera
- A Study of Bangzi Operatic Styles
- A Study of Chinese Ancient Folktale Types
- A Study of Clapper Ballads
- A Study of Musical Parts in Dagu Ballads
- A Study of Quyi Music
- A Study of Texts on Chinese Painting
- A Study of the Creation of Puppet Films
- A Study of the False Traditional Chinese Classics