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

• Author(s): Frade, M. J.
• Date: 1998
• Persistent ID: http://hdl.handle.net/1822/2065
• Origin: RepositóriUM - Universidade do Minho
• Subject(s): Lógica; Sistemas de prova; Isabelle proof assistant
• Document Type: Other
• Language: Portuguese