-
1Higher Order Logic Theorem Proving and Its Applications [electronic resource] : 7th International Workshop Valletta, Malta, September 19–22, 1994 Proceedings / Higher Order Logic Theorem Proving and Its Applications [electronic resource] : 7th International Workshop Valletta, Malta, September 19–22, 1994 Proceedings /por Melham, Thomas F. editor., Camilleri, Juanito. editor., SpringerLink (Online service)
Publicado em 1994Texto bibliotecaCOLPOS