Automated deduction - CADE-20 : 20th international conference on automated deduction Tallinn, Estonia, July 22-27, 2005: proceedings / ed. R. Nieuwenhuis, 2005 r=on-line. - Текст : электронный.
Приложение
для Android