Theorem Proving in Higher Order Logics 12th International Conference, TPHOLs'99, Nice, France, September 14-17, 1999, Proceedings - Bertot, Yves; Bertot, Yves; Dowek, Gilles; Dowek, Gilles; Hirschowitz, Andre; Hirschowitz, Andre; Paulin, Christine; Paulin, Christine; Thery, Laurent; Thery, Laurent (Springer Berlin Heidelberg : Imprint: Springer, 1999)