"Automated Reasoning with Analytic Tableaux and Related Methods, 16 conf., TABLEAUX 2007" - читать интересную книгу автора (Nicola Olivetti)