说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
您的位置：首页 -> 词典 -> Gdel系统
1)  Gdel System
Gdel系统
1.
The Characterization of the Truth Functions Associated with Formulas Generated by One or Two Atoms Based on Gdel System;
Gdel系统中由一个或两个原子生成的公式的真值函数的特征
2.
This paper gives a distributing of truth degree with formulas generated by one atom or two atom based on Gdel system.
以Gdel系统为背景,针对由单个或两个原子生成的公式,解决了公式的真度分布问题。
2)  Gdel logic system
Gdel逻辑系统
例句>>
3)  revised Gdel logical system
修正的Gdel逻辑系统
1.
Theory of generalized tautology in subalgebras of revised Gdel logical system;
修正的Gdel逻辑系统中子代数的广义重言式理论
4)  Gdel
Gdel语言
1.
A Parallel Reasoning Model for Gdel;
Gdel语言的一种并行推理模型
2.
The comparison demonstrates Gdel language is more declarative and efficient.
Prolog语言与Gdel语言分别支持使用非基本表示与使用基本表示的元程序设计功能。
3.
We analyzed the functions of the Gdel language on the bassis of the first-order logic with polymorphism and multi types.
在多态多类的一阶逻辑基础之上,围绕类型系统、模块系统、控制机制、元程序设计和输入/输出部分对Gdel语言功能进行分析。
更多例句>>
5)  Gdel numbering
Gdel配数
6)  G(o|¨)del Language
G(o|¨)del语言
补充资料：Del指数Del factor
分子式：
CAS号：

性质：又称Del指数(Del factor)，在热灭菌过程中，Deindoerfer和Humphrey(1959)设定N0/Nt(灭菌开始时存在的活生物数/经过t时间灭菌后的活生物数)为Nabla指数▽，用其作为灭菌效果的设定指数，又可作灭菌标准。为达到某一Del指数，▽的自然对数值所需的灭菌时间t与灭菌常数K之积恒为一常数(指在同一温度下灭菌)；若灭菌温度提高，K值增大，t值下降。

说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条