说明：双击或选中下面任意单词，将显示该词的音标、读音、翻译等；选中中文或多个词，将显示翻译。
您的位置：首页 -> 句库 -> Gdel语言
1.
RESEARCH ON THE COMPARISON OF META-PROGRAMMING BETWEEN LOGIC PROGRAMMING LANGUAGE GDEL AND PROLOG;
Prolog与Gdel语言元程序设计的对比研究
2.
Research and implementation of the control facility of Gdel language
Gdel语言控制机制的研究与实现
3.
The Declarative Semantics of Logic Programming Language G(?)del
逻辑程序设计语言G(？)del的说明性语义
4.
The Design and Implementation for the Compiler of Programming Language G(?)del;
G（？）del语言编译系统的设计与实现
5.
Design and Implementation of Programming Environment for Language G(?)del;
G（？）del语言程序设计环境的设计与实现
6.
A comparison between the logic programming languages Gdel and Prolog
逻辑程序设计语言Gdel与Prolog的比较
7.
The Formalized Procedural Semantic of Logic Programming Language G(?)del
逻辑程序设计语言G（?）del的形式化过程性语义
8.
Design and Implementation of Inference Machine for G(?)del Compiler;
G（？）del语言编译系统中推理机的设计与实现
9.
Theory of Generalized Tautology in Godel’s Logic System;
Gdel逻辑系统中的广义重言式理论
10.
Generalized quasi-tautology of Gdel interval-valued logic system
Gdel区间值逻辑系统的广义拟重言式
11.
Randomization of 3-valued Gdel Propositional Logic System
三值Gdel命题逻辑系统的随机化
12.
n-valued logic system Gn based on the derived operator of Gdel implication operator;
基于Gdel蕴涵算子的导出算子的n值逻辑系统
13.
Partitions of F(S) and its Application in Gdel s Logic System;
Gdel逻辑系统中F(S)的一个分划及其应用
14.
Study of the conditional probability truth degree of formulas in the Gdel logic system
Gdel逻辑系统中公式条件概率真度的研究
15.
Approximate Solution of Gdel Cosmological Model in the Ideal Matter Source Conditions
Gdel宇宙模型在理想流体条件下的一个近似解
16.
Approximate Solution of Gdel Cosmological Model in the Vacuum Conditions
Gdel宇宙模型在真空条件下的一个近似解
17.
Distributing of truth degree with formulas by one atom or two atom based on Gdel system
Gdel中单个或两个原子生成公式的真度分布
18.
A Virtual Simulation of Control System by G-Languge of LabView
利用LabView的G语言对控制系统的虚拟仿真