Teoria de Conjuntos em Isabelle

Araújo, Helena Paula Nunes

http://hdl.handle.net/10400.13/205

Utilize este identificador para referenciar este registo.

Nome:	Descrição:	Tamanho:	Formato:
MestradoHelenaAraújo.pdf		46.71 MB	Adobe PDF	Ver/Abrir

Contacte-nos

Autores

Araújo, Helena Paula Nunes

Palavras-chave

Teoria de Conjuntos Sistema de Zermelo-Fraenkel Axiomática Demonstração automática Isabelle Tácticas e tacticais . Centro de Ciências Exatas e da Engenharia

URI

http://hdl.handle.net/10400.13/205

Editora

Universidade da Madeira

Coleções

Dissertações de Mestrado

Ver registo completo

Teoria de Conjuntos em Isabelle

Autores

Orientador(es)

Resumo(s)

Descrição

Palavras-chave

URI

Contexto Educativo

Citação

Projetos de investigação

Unidades organizacionais

Fascículo

Editora

Coleções

Licença CC