基本释义:

植物区系,植物 PL

网络释义

1)plant life,植物区系;植物 PL

2)PL System,PL系统

3)Propositional Calculus System PL~*,PL~*系统

4)pond life,池塘生物 PL

5)cereal,谷类的，谷类植物的n. (pl.)谷类;谷类食物

6)formal deductive system PL*,PL*公理体系

用法和例句

The definition of formal deductive system PL** corresponding to pseudo-R0algebras and some important properties of formal deductive system PL** are given.

给出了相应于广义R0-代数的PL*公理体系的定义及PL*公理体系的若干重要性质。