Theorem proving in higher order logics 22nd International Conference, TPHOLs 2009, Munich, Germany, August 17-20, 2009 : proceedings /

Bằng TPHOLs 2009, Berghofer, Stefan.
Được phát hành 2009.

Theorem proving in higher order logics 20th international conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007 ; proceedings /

Bằng TPHOLs 2007, Schneider, Klaus., Brandt, Jens.
Được phát hành 2007.

Theorem proving in higher order logics 18th International Conference, TPHOLs 2005, Oxford, UK, August 22-25, 2005 : proceedings /

Bằng TPHOLs 2005, Hurd, Joe., Melham, T. F.
Được phát hành 2005.

Theorem proving in higher order logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008 : proceedings /

Bằng TPHOLs, Ait Mohamed, Otmane., Muñoz, César A., Tahar, Sofiène
Được phát hành c2008