Context

Context of Theorem proving in higher order logics : 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 ; proceedings, Klaus Schneider, Jens Brandt (eds.), (electronic book)
Processing Feedback ...