Lecture notes in computer science / ed. G. Goos [et al.]. 6898 : Interactive theorem proving : second intern. conf., ITP 2011, Berg en Dal, the Netherlands, Aug. 22-25, 2011 : proc. / International conference on interactive theorem proving (2nd ; 2011 ; Berg en Dal), 2011. - XI, 383 p. - Текст : непосредственный.