理学 形式化 释 equational logic 方程逻辑 以等式符号为唯一谓词符号的一阶逻辑，是一种通过等式替换进行推理的形式系统。又称等式逻辑。
equational logic 等式逻辑
理论计算机科学 程序理论 释文 equational logic 等式逻辑
- The Chinese Churchman
- The Chinese Culture World Total Alliance
- The Chinese Desert Flora
- The Chinese Dialect Society
- the Chinese documents collection of the Ming dynasties
- the Chinese documents collection of the Qing dynasties
- the Chinese eastern railway
- The Chinese Educational Review
- the Chinese Environmental Sociology Committee of the Chinese Sociological Association
- The Chinese Garden Aesthetics
- The Chinese Government assists Mongolia's Kolunbar Ancient Pagoda protection project
- The Chinese Institute of Engineers
- The Chinese Institute of Prose
- The Chinese Journal for the History 0f Science And Technology
- The Chinese Journal of Geological Hazard and Control
- the Chinese language audio database resoures
- The Chinese Language Press Institute
- The Chinese Medical Guide
- The Chinese Paleography Association
- The Chinese People’s Political Consultative Conference Journal
- The Chinese Periodicals of Chuci
- The Chinese Phontic Alphabet Spelling Rules for Chinese Names GB/T 280039—2011
- the Chinese Research Committee on Social Stratification
- the chinese research committee on sociology of Law，CRCSL
- The Chinese Revolution and the Chinese Communist Party