Gdel语言,Gdel英语短句,例句大全

Gdel语言,Gdel
1)GdelG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语言功能进行分析。

英文短句/例句

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 languageG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 systemG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 systemGdel逻辑系统中公式条件概率真度的研究
15.Approximate Solution of Gdel Cosmological Model in the Ideal Matter Source ConditionsGdel宇宙模型在理想流体条件下的一个近似解
16.Approximate Solution of Gdel Cosmological Model in the Vacuum ConditionsGdel宇宙模型在真空条件下的一个近似解
17.Distributing of truth degree with formulas by one atom or two atom based on Gdel systemGdel中单个或两个原子生成公式的真度分布
18.A Virtual Simulation of Control System by G-Languge of LabView利用LabView的G语言对控制系统的虚拟仿真

相关短句/例句

G(o|¨)del LanguageG(o|¨)del语言
3)Gdel numberingGdel配数
4)Gdel SystemG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系统为背景,针对由单个或两个原子生成的公式,解决了公式的真度分布问题。
5)G languageG语言
1.Developing Instrument Drivers Based on G Language;基于G语言的仪器驱动程序开发
2.This paper introduced a kind of program based on LabVIEW G language,this program can be used for acquiri.本文介绍了一种基于LabVIEW的G语言的程序设计,该程序可用于采集心音、心电、脑电波等生物医学信号。
3.In order to overcome the shortcoming of hardware experiment in the communication electronic circuit experiment teaching,the method of using graph programming language(G language) of LabVIEW in experiment is put forward.文章针对"通信电子线路"实验教学中硬件实验的缺点,以幅度调制和解调为例,提出将LabVIEW中图形编程语言(G语言)用于"通信电子线路"实验,并给出了虚拟仪器前面板的构成形式和虚拟实验的程序框图。
6)Graphic languageG语言
1.The running model of the graphic language(G language)is the base of that run platform can analyze its graphic program correctly.图形化语言(G语言)的运行模型是运行平台能够正确解析其图形程序、实现设计者意图的基础,也是其实现对应文本语言所具有功能的保证。