"Chou S.-C. Mechanical geometry theorem proving (1988)(L)(187s).djvu" - читать интересную книгу автора