An instruction set of closed environments for logic programs

An instruction set of closed environments for logic programs

碩士 === 國立交通大學 === 資訊工程研究所 === 78 ===

Bibliographic Details
Main Authors:	WU,GUO-LIANG, 吳國樑
Other Authors:	ZENG,JIAN-CHAO
Format:	Others
Language:	zh-TW
Published:	1991
Online Access:	http://ndltd.ncl.edu.tw/handle/60697679965061894797

Similar Items

Closed Types for Logic Programming
by: João Luís Alves Barbosa
Published: (2019)

水利會農田灌溉水質監視管理制度之效益分析-損害函數之應用
by: WU,GUO-LIANG, et al.
Published: (1991)

The Study of Data Mining Approach Investigates on The Business Model of Facebook
by: Guo-Liang Wu, et al.
Published: (2012)

Logic Programming Environments with Advanced Parallelism
by: João Pedro Barreiros Nunes dos Santos
Published: (2019)

ALPES: an advanced logic programming environment
by: Cristina Ruggieri
Published: (1988-11-01)

The design of integrator with symbolic computation via predicate logic language
by: WU, GUO-GING, et al.
Published: (1986)

Optimizing System Operations in an Open Environment through Ambience Setting
by: Kuo-ChenWu, et al.
Published: (2012)

Minimal closed sets and maximal closed sets
by: Fumie Nakaoka, et al.
Published: (2006-01-01)

On Instruction Sets for Boolean Registers in Program Algebra
by: J.A. Bergstra, et al.
Published: (2016-06-01)

NETLOGO PROGRAMMING ENVIRONMENT IN CHEMISTRY INSTRUCTION
by: Tеtiana M. Derkach, et al.
Published: (2013-12-01)

Blended Instruction in Symbolic Logic
by: Kevin M. Graham, et al.
Published: (2021-06-01)

Reasoning on the response of logical signaling networks with answer set programming
by: Videla, Santiago
Published: (2014)

Reasoning on the response of logical signaling networks with answer set programming
by: Videla, Santiago
Published: (2014)

The Research on “Influence to the Relations Across Taiwan Strait” by “Special state-to-state Relationship”
by: wu,kuo-liang, et al.
Published: (2001)

Planning A Database Online Authorization System- A case study of C Company
by: Kuo-Liang Wu, et al.
Published: (2008)

Procomp case and corporate governance - the prevention and punishment against economic crime
by: Kau-Liang Wu, et al.
Published: (2007)

Mere Exposure: Specific, Generalized, and Diffuse effects
by: Kuo-liang Wu, et al.
Published: (2007)

A Study on Japan''s National Security Strategy( 2007-2015)
by: Kuo-Liang Wu, et al.
Published: (2016)

Design and Measurement of Antennas forMobile Handset Applications
by: Kuo-Liang Wu, et al.
Published: (2008)

On fuzzy strongly g* - closed sets and g** - closed sets
by: Hamid Reza Morad, et al.
Published: (2015-06-01)

Program control instruction class of x86 instruction set architecture compatible CPU
by: Ng, Teik Huat
Published: (2014)

Informal Logic’s Influence on Philosophy Instruction
by: J. Anthony Blair
Published: (2008-02-01)

On a class of sets between μ-closed sets and μg-closed sets
by: Bishwambhar Roy, et al.
Published: (2017-03-01)

Automatic Instruction-Set Extension for Domain-Specific Multiple Programs
by: Che-Lung Hsu, et al.
Published: (2008)

A LOGIC PROGRAMMING ENVIRONMENT SUPPORTED BY THE SEMANTIC GAMES TESTER
by: ALBERTO JOSE FONSECA ADEODATO
Published: (1991)

A comparative study of teaching strategies involving closed-circuit television and programmed instruction /
by: Moore, Frederick Nicholson
Published: (1969)

Teaching Artificial Intelligence and Logic Programming in a Competitive Environment
by: Pedro RIBEIRO, et al.
Published: (2009-04-01)

Minish HAT: A Tool for the Minimization of Here-and-There Logic Programs and Theories in Answer Set Programming
by: Rodrigo Martin, et al.
Published: (2019-07-01)

On br -closed sets
by: Maximilian Ganster, et al.
Published: (2007-10-01)

On Generalized Closed Sets and Generalized Pre-Closed Sets in Neutrosophic Topological Spaces
by: Wadei Al-Omeri, et al.
Published: (2018-12-01)

On the logic programming
by: Lin, Chun-Teng, et al.
Published: (1986)

Verification of Instruction Set Compatible Processors with a Dual Core Environment
by: Jyun-yan Li, et al.
Published: (2014)

Integrating instruction set simulator into a system level design environment
Published: ()

Logic programs as declarative and procedural bias in inductive logic programming
by: Lin, Dianhuan
Published: (2013)

A Fuzzy Logic Programming Environment for Managing Similarity and Truth Degrees
by: Pascual Julián-Iranzo, et al.
Published: (2015-01-01)

[en] A LOGIC PROGRAMMING ENVIRONMENT SUPPORTED BY THE SEMANTIC GAMES TESTER
by: ALBERTO JOSE FONSECA ADEODATO
Published: (2006)

Designing Efficient Mining algorithms for Frequent Closed Itemsets Maintenances
by: Cheng-Liang Chiu, et al.
Published: (2005)

The characterization of learning environments and program structures of instructional programs produced using Logo /
by: Chen, Mei, 1962-
Published: (1992)

Logic programming extensions of Horn clause logic
by: Ron Sigal
Published: (1988-11-01)

First order linear logic in symmetric monoidal closed categories
by: Ambler, Simon John
Published: (1991)