Sebenta prática de elementos lógicos da programação I : guiões das sessões labo...

• Autor(es): Frade, M. J.
• Data: 1998
• Identificador Persistente: http://hdl.handle.net/1822/2065
• Origem: RepositóriUM - Universidade do Minho
• Assunto(s): Lógica; Sistemas de prova; Isabelle proof assistant
• Tipo de Documento: Outro
• Idioma: Português