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 |
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.