Higher order logic theorem proving and its applications
Subtitle: 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings
By: E. Thomas Schubert, Phillip J. Windley, James Alves-Foss, eds.
Contributors: Schubert, E. Thomas, 1959-; Windley, Phillip J., 1958-; Alves-Foss, James, 1964-
Series: Lecture notes in computer science ;; 971
Publisher: Springer-Verlag; Springer
Published: 1995
Place of publication: Berlin; New York
Language: eng
Number of pages: 400
Subjects: Automatic theorem proving -- Congresses; Logic, Symbolic and mathematical -- Congresses
Notes: Includes bibliographical references.