Context

Context of Theorem proving in higher order logics : 16th international conference, TPHOLs 2003, Rome, Italy, September 8-12, 2003 : proceedings, David Basin, Burkhart Wolff (eds.)
Processing Feedback ...