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