Percorrer por assunto Lógica
Mostrar 1-7 de um total de 7 resultados.
Data | Título | Autor(es) | Tipo | Acesso |
19-Dez-2019 | Alan Turing: cientista universal | Espírito Santo, José Carlos; Pereira, Luís Moniz; Ferreira, Fernando, et al. | Livro | Acesso aberto |
2021 | Conversão para Why3 de formalizações em Coq | Ferreira, Bárbara Andreia Cardoso | Dissertação de mestrado | Acesso aberto |
1998 | Guiões das aulas práticas laboratoriais sobre o sistema COQ | Frade, M. J.; Pinto, Jorge Sousa | Outro | Acesso aberto |
Set-2000 | O glaciar e o vulcão: lógica e consciência em Edmundo Curvelo | Curado, Manuel | Artigo | Acesso aberto |
2014 | Postcolonial co-ordinary literature and the Web 2.0/3.0: "Thinking Back" within transmediatic knowledge | Andrade, Pedro José de Oliveira | Capítulo de livro | Acesso aberto |
1998 | Sebenta prática de elementos lógicos da programação I : guiões das sessões laboratoriais no sistema Isabelle | Frade, M. J. | Outro | Acesso aberto |
2023 | Tópicos de Matemática Discreta: exercícios resolvidos para a unidade curricular | Araújo, C. Mendes; Gonçalves, Suzana Mendes | Publicação pedagógica | Acesso aberto |