Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-2 de um total de 2 resultados (tempo de pesquisa: 0.0 segundos).
DataTítuloAutor(es)TipoAcesso
1998Guiões das aulas práticas laboratoriais sobre o sistema COQFrade, M. J.; Pinto, Jorge SousaOutroAcesso aberto
1998Sebenta prática de elementos lógicos da programação I : guiões das sessões laboratoriais no sistema IsabelleFrade, M. J.OutroAcesso aberto
1-2 de um total de 2 resultados (tempo de pesquisa: 0.0 segundos).
  • Anterior
  • 1
  • Próxima

Descobrir