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

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-
Resource Type: Book
Language:English
Published: Berlin Springer-Verlag c1995.
Series:Lecture notes in computer science 971
Subjects:
Automatic theorem proving > Congresses.
Logic, Symbolic and mathematical > Congresses.

College of Engineering Library II (UP Diliman)

Accession # Call # Volume/Part# Copy # Collection Circulation Type Circulation Status
E-ESEP-2334 QA 76.9 A96 H54 1995 Regular Circulation On-Shelf