Higher order logic theorem proving and its applications：8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings

Group Author: Schubert E. Thomas, 1959-; Windley Phillip J., 1958-; Alves-Foss James, 1964-
Published: Springer-Verlag,
Publication Dates: c1995.
Call Number: TP301-532/H638/1995/