Download Interactive Theorem Proving Third International Conference Itp 2012 Princeton Nj Usa August 13 15 2012 Proceedings
Estes, Palmisano, 1974; Nerini, Oliver, 1983; Nerini, 1984; Oliver, Kvitek, 1984; Oliver, Slattery, 1985; Katona, Whitehead, 1988; Estes, Duggins, 1995; Bowen, 1997). Thomson, 1987; Lowry, 1993). 1989; Grebmeier, Barry, 1991). Frost, Lowry, 1980; Frost, Lowry, 1981; Bradstreet, 1982).