1. Universidade do Minho
  2. Escola de Engenharia | School of Engineering
  3. Departamento de Informática | Centro de Ciências e Tecnologias da Computação
  4. DI/CCTC - Publicações Pedagógicas
Utilize este identificador para referenciar este registo: https://hdl.handle.net/1822/2012

Registo completo
Campo DCValorIdioma
dc.contributor.authorFrade, M. J.-
dc.contributor.authorPinto, Jorge Sousa-
dc.date.accessioned2005-06-08T08:58:56Z-
dc.date.available2005-06-08T08:58:56Z-
dc.date.issued1998-
dc.identifier.citationPINTO, Jorge Sousa ; FRADE, Maria João Gomes – “Guiões das aulas práticas laboratoriais sobre o sistema COQ” [Em linha]. [S.l.] : Departamento de Informática Universidade do Minho. 1998. [Consult. 8 Jun. 2005]. Disponível em: http://www.di.uminho.pt/~mjf/publications-
dc.identifier.urihttps://hdl.handle.net/1822/2012-
dc.language.isoporeng
dc.publisherUniversidade do Minho. Departamento de Informáticaeng
dc.rightsopenAccesseng
dc.subjectCoq proof assistanteng
dc.subjectLógicaeng
dc.subjectLambda-calculuseng
dc.subjectTeoria de tiposeng
dc.subjectSistemas de prova assistidaeng
dc.titleGuiões das aulas práticas laboratoriais sobre o sistema COQeng
dc.typeothereng
Aparece nas coleções:DI/CCTC - Publicações Pedagógicas

Ficheiros deste registo:
Ficheiro Descrição TamanhoFormato 
sebELP2.ps725,87 kBPostscriptVer/Abrir
sebELP2.pdf402,57 kBAdobe PDFVer/Abrir
Ver registo simples Sugerir correção Estatísticas

Partilhe no FacebookPartilhe no TwitterPartilhe no DeliciousPartilhe no LinkedInPartilhe no DiggAdicionar ao Google BookmarksPartilhe no MySpacePartilhe no Orkut
Exporte no formato BibTex mendeley Exporte no formato Endnote Adicione ao seu ORCID