Search Results       Your search for [author]Alves-Foss, James returned 1 record.           Higher order logic theorem proving and its applications : 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings. Berlin: Springer-Verlag, 1995. Subject: Automatic theorem proving -- Congresses; Logic, Symbolic and mathematical -- Congresses.          Add to Book Cart Relevance: 23.40%