Theorem proving in higher order logics 10th International Conference, TPHOLs '97, Murray Hill, NJ, USA, August 19-22, 1997 : proceedings
International Conference on Theorem Proving in Higher Order Logics (10th 1997 Murray Hill, N.J.) Elsa L Gunter; Amy Felty
Berlin Springer New York c1997
Localização:
ICMC - Inst. Ciên. Mat. Computação
(68-02 LNCS v.1275 ) e outros locais(Acessar)