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.
Pay easily by card, Klarna, Apple Pay or Google Pay. Not happy? You always have a 14-day money-back guarantee. Read more in our terms. If you have any questions, email us at hello@memmo.org.
Memmo makes studying easier – wherever you are in the world. We bring your course books and smart study tools together in one place: summaries, quizzes, podcasts and flashcards. Plus Ted, your study buddy who answers anything you wonder. Over 75,000 students already study here – built to help you learn faster and stress less.
You might also like
Buy the book0