Goto

Collaborating Authors

 problem-solving automata 22


PROBLEM-SOLVING AUTOMATA 22 Some effects in the collective behaviour of automata

AI Classics

B.RANDELL 3 PROGRAM PROOF AND MANIPULATION 2 Some techniques for proving correctness of programs which alter data structures.