"Computation and Logic in the Real World, 3 conf., CiE 2007" - читать интересную книгу автора (S. Barry Cooper, Benedikt Löwe, Andrea Sorbi)
-->