Lógica modal etiquetada em Isabelle / Marco Paulo Ferreirinha Garapa ; orient. Francisco Miguel Alves Campos de Sousa Dionisio
Main Author: Garapa, Marco Paulo FerreirinhaSecondary Author: Dionísio, Francisco Miguel Alves Campos de Sousa, 727Corporate Author (Secondary): Universidade da Madeira, 340Language:por.Country: PT.Publication:Funchal : Marco Paulo Ferreirinha Garapa, 2006Description: 265 p + Curr. vitaeThesis: Mestrado em Matemática (Área de Especialização de Matemática para o Ensino), pela Universidade da Madeira.Subject - Topical Name: | | | | | | || Item type | Location | Collection | Call number | Status | Date due | Barcode |
|---|---|---|---|---|---|---|
Livro
|
|
T/M +CV | T/M UMa 51 GAR Lóg (Browse shelf) | Available | B82235 |
Browsing Biblioteca da Universidade da Madeira Shelves Close shelf browser
| No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | No cover image available | ||
| T/M UMa 51 FRE Gra GRAFOS coloração, planaridade e "Matching" | T/M UMa 51 FRE Gra GRAFOS coloração, planaridade e "Matching" | T/M UMa 51 FUR Equ Equações algébricas | T/M UMa 51 GAR Lóg Lógica modal etiquetada em Isabelle | T/M UMa 51 GAR His História da matemática, materiais e tecnologias na aprendizagem da trigonometria | T/M UMa 51 GAR His História da matemática, materiais e tecnologias na aprendizagem da trigonometria | T/M UMa 51 GOM Imp A importância da utilização de softwares de geometria dinâmica em sala de aula |
Mestrado em Matemática (Área de Especialização de Matemática para o Ensino), pela Universidade da Madeira
There are no comments for this item.