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

Bibliographic Details
Other Authors:	Schubert, E. Thomas, 1959-, Windley, Phillip J., 1958-, Alves-Foss, James, 1964-
Format:	Book
Language:	English
Published:	Berlin ; New York : Springer-Verlag, [1995]
Series:	Lecture notes in computer science ; 971.
Subjects:	Automatic theorem proving > Congresses. Logic, Symbolic and mathematical > Congresses.

Remote Storage