Cover image
Normal view MARC view ISBD view

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: | | | | | | |
Tags from this library: No tags from this library for this title. Add tag(s)
Log in to add tags.
    average rating: 0.0 (0 votes)

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.

Log in to your account to post a comment.

Biblioteca da Universidade da Madeira
Telefone (geral): 291705070. Responsável: Doutora Iolanda Silva - email: iolanda.silva@staff.uma.pt; Serviço de Referência: Mestre Hélder Maurício - email: helder.mauricio@staff.uma.pt; Serviço de Gestão Digital: Dr. António Freitas – email: antonio.freitas@staff.uma.pt
Morada: Campus Universitário da Penteada, 9000-390 - Funchal - Madeira

Powered by Koha