PROBLEM-SOLVING AUTOMATA 22 Some effects in the collective behaviour of automata
–AI Classics/files/AI/classics/Machine_Intelligence_7/MI-7-TOC.pdf
B.RANDELL 3 PROGRAM PROOF AND MANIPULATION 2 Some techniques for proving correctness of programs which alter data structures.
Jan-25-2015, 22:20:59 GMT
- Technology: