1.
Genetic Inductive Logic Programming Based on Bit-string Encoding
基于位串编码的遗传归纳逻辑程序设计
2.
PLATO (Programmed Logic for Automatic Operations)
自动指导操作程序设计逻辑
3.
Methods and Techniques about How to Design The PLC Logical Control Program;
PLC逻辑控制程序设计的方法与技巧
4.
The Declarative Semantics of Logic Programming Language G(?)del
逻辑程序设计语言G(?)del的说明性语义
5.
Prolog Programming Based on Predicate Logic
基于谓词逻辑的Prolog程序设计
6.
A comparison between the logic programming languages Gdel and Prolog
逻辑程序设计语言Gdel与Prolog的比较
7.
A System for Normal Logic Programs with Functions
带函数的正规逻辑程序设计系统(英文)
8.
Application of Well-founded Induction in Verifying Invariance of Temporal Logic Programs
良基归纳法在时序逻辑程序不变式验证中的应用
9.
relating to logical induction.
(有关)逻辑归纳法。
10.
deductive [inductive] logic
演绎 [归纳] 逻辑
11.
Simple and Easy Method for Designing Sequence Logic Ladder Diagram of Programmable Controller
可编程序控制器顺序逻辑梯形图的简易设计法
12.
The Formalized Procedural Semantic of Logic Programming Language G(?)del
逻辑程序设计语言G(?)del的形式化过程性语义
13.
creating a program that enables the computer to reason logically.
设计出一个能使计算机进行逻辑运算的程序。
14.
Denotational Semantics of Dynamic Fuzzy Logic Programming Language
动态模糊逻辑程序设计语言的指称语义
15.
induction in automatic programming
自动程序设计中的归纳法
16.
In computer programming, section of a COBOL program that represents a logical processing entity.
在计算机程序设计中,COBOL程序中代表一个逻辑处理实体的一部分。
17.
Application and research for designing of rule induction in genetic algorithm design
规则归纳在遗传算法设计中的应用与研究
18.
Cognate Research on Business Intelligence, Inductive Logic and Statistics
商务智能、归纳逻辑与统计学的关联研究