Theorem proving in higher order logics : 21st International conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008: proceedings / ed. O. Mohamed [et al.], 2008 r=on-line. - Текст : электронный.