Advances In Chinese Computer Science, Vol 3
| By: | Xu Kongshi |
| Publisher: | World Scientific Publishing |
| Print ISBN: | 9789810201524 |
| eText ISBN: | 9789812812407 |
| Edition: | 1 |
| Format: | Page Fidelity |
Lifetime - $195.60
eBook Features
Instant Access
Purchase and read your book immediately
Read Offline
Access your eTextbook anytime and anywhere
Study Tools
Built-in study tools like highlights and more
Read Aloud
Listen and follow along as Bookshelf reads to you
Details
Table of Contents
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.