Teoria de Conjuntos em Isabelle

Araújo, Helena Paula Nunes

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

Use this identifier to reference this record.

Name:	Description:	Size:	Format:
MestradoHelenaAraújo.pdf		46.71 MB	Adobe PDF	Download

Send Feedback

Authors

Araújo, Helena Paula Nunes

Keywords

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

Publisher

Universidade da Madeira

Collections

Dissertações de Mestrado

Full item page

Teoria de Conjuntos em Isabelle

Authors

Advisor(s)

Abstract(s)

Description

Keywords

URI

Citation

Research Projects

Organizational Units

Journal Issue

Publisher

Collections

CC License