What people are saying - Write a review
We haven't found any reviews in the usual places.
Limited ErrorPropagation SelfSynchronization and Finite Input
The Knowledge Processing of CONBES
Can Logic Programming be Liberated from FOL?
A Language and Environment for AI Programming
From What to How
The Communication Subsystem of CPorel
A Set of Parallel Algorithms for Calculating FFT Based
The Axiom System ACG and the Proof of Consistency of
The Experiments on 2D EAG Method for the Recognitions
Weak Mutation Method of Software Testing and Relational
Study on the Efficiency Improvement of Knowledge Base
Other editions - View all
2-D EAG Academia Sinica algorithm design attribute attribute grammars axiom BKDL BKTS broadcast C-POREL C/E nets cardinal category theory Chinese characters COBOL component drawing conglomerate defined Definition denoted element error-propagation example execution exists expert system FFT calculation first-order LP FSM with delay function grammar high-order HILOG atoms HILOG program HILOG terms HLPNs implementation inaccessible cardinal inference input variable instantiated inverse with delay keywords knowledge representation language least fixpoint LogC logic formulas macropipelines method minimal model modal logic monomacropipeline multiple vector system mutation method node notions number of type ordinal number P/T nets parallel Petri nets predicate predicate-expression Proc query radix-4 FFT reachability recognition redundancy reliable message RSC-message rule ruleset self-synchronizing semantics set of atoms set-term structure system ACG test data Theorem tokens transition tuple unpacked vector processors weak inverse weak mutation weakly invertible FSM