登入
選單
返回
Google圖書搜尋
Advances In Chinese Computer Science, Vol 3
Kongshi Xu
出版
World Scientific
, 1991-03-30
主題
Computers / Computer Science
Computers / Software Development & Engineering / General
ISBN
9814507032
9789814507035
URL
http://books.google.com.hk/books?id=kowGCwAAQBAJ&hl=&source=gbs_api
EBook
SAMPLE
註釋
Contents:
The Axiom System ACG and the Proof of Consistency of the Systems QM and ZF#
(J W Zhang)
Log C: A Language and Environment for AI Programming
(Y L Feng)
From “What” to “How”
(J F Xu et al.)
Weak Mutation Method of Software Testing and Relational Test Data
(R J Zheng & F Jiang)
Can Logic Programming Be Liberated from FOL? Foundations of a High Order Rule Language
(Q M Chen)
The Experiment on 2-D EAG Method for the Recognitions of Hand-Printed Chinese Characters
(M Zhao)
A Set of Parallel Algorithms for Calculating FFT Based on Multiple Vector Systems
(D F Zhang & L Sheng)
Knowledge Representation by Petri Nets
(C Lin & W M Lu)
Limited Error-Propagation, Self-Synchronization and Finite Input Memory FSMs as Weak Inverses
(F Bao)
The Knowledge Processing of CONBES
(R Q Lu & C G Cao)
CS: The Communication Sub-System of C-Porel
(J L Xu & L X Zhou)
Study on the Efficiency Improvement of Knowledge Base Management Systems
(L Z Zhou & Z P Fan)
Readership:
Computer scientists.