Related Books
Language: en
Pages: 238
Pages: 238
Type: BOOK - Published: 1991-03-01 - Publisher: World Scientific
http://www.worldscientific.com/worldscibooks/10.1142/1046
Language: en
Pages: 225
Pages: 225
Type: BOOK - Published: 1991-03-30 - Publisher: World Scientific
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)F
Language: en
Pages: 195
Pages: 195
Type: BOOK - Published: 1989-07-01 - Publisher: World Scientific
Contents:RES: PCB Routing Design Expert System (C W He & M Chen)Formalizing and Automating the Software Process Through Successive Refinement (M Dai & J F Xu)A
Language: en
Pages: 1266
Pages: 1266
Type: BOOK - Published: 1990 - Publisher:
Language: en
Pages: 411
Pages: 411
Type: BOOK - Published: 2009-03-08 - Publisher: Springer Science & Business Media
Finite Automata and Application to Cryptography mainly deals with the invertibility theory of finite automata and its application to cryptography. In addition,
