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

ग्रंथसूची विवरण
अन्य लेखक: Schubert, E. Thomas 1959-, Windley, Phillip J. 1958-, Alves-Foss, James 1964-
स्वरूप: पुस्तक
भाषा:English
प्रकाशित: Berlin Springer-Verlag c1995.
श्रृंखला:Lecture notes in computer science 971
विषय:
Automatic theorem proving > Congresses.
Logic, Symbolic and mathematical > Congresses.