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.
Betala smidigt med kort, Klarna, Apple Pay eller Google Pay. Är du inte nöjd har du alltid 14 dagars ångerrätt. Läs mer i våra villkor. Har du några frågor, mejla oss på hello@memmo.org.
Memmo gör det enklare att plugga – var du än är i världen. Hos oss samlar du kursböcker och smarta studieverktyg på ett och samma ställe: sammanfattningar, quiz, poddar och flashcards. Och så Ted, din studiekompis som svarar på allt du undrar. Över 50 000 studenter pluggar redan här – byggt för att du ska lära dig snabbare och stressa mindre.
Du kanske också gillar
Köp boken0