Higher order logic theorem proving and its applications 8th International Workshop, Aspen Grove, UT, USA, September 11-14, 1995 : proceedings
E. Thomas Schubert 1959-; Phillip J Windley 1958-; James Alves-Foss 1964-
Berlin New York Springer-Verlag 1995
Localização: ICMC - Inst. Ciên. Mat. Computação (68-02 Lncs v.971 e.1 ) e outros locais(Acessar)