Theorem proving in higher order logics : 18th international conference, TPHOLs 2005 Oxford, UK, August 22-25, 2005: proceedings / eds. J. Hurd, T. Melham, 2005 r=on-line. - Текст : электронный.
Приложение
для Android