Towards Theory of Massive-Parallel Proofs : cellular Automata Approach

Bulletin of the Section of Logic, Tom 39, Numer 3-4 (2010) s. 133-145
Andrew Schumann

 

do góry