Theorem proving in higher order logics：21st international conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008 ; proceedings

Corporate Authors: TPHOLs 2008 (2008 Montreal, Québec); SpringerLink (Online service)
Group Author: Muñoz César A., 1968-; Tahar Sofiène, 1966-; Ait Mohamed Otmane.
Published: Springer,
Publication Dates: 2008.