Bibliotecas UA catálogo › Detalhes para: Análise estruturada e formal das provas

Autor: Barreto , Maria Nilde Fernandes, (1979-)Autor secundário: Vieira , João Carlos David, (1941-);Martins , Manuel António GonçalvesAutor Institucional (Secundário): Universidade de Aveiro . Departamento de Matemática.Língua: Português.País: Portugal.Publicação: Aveiro : M. Barreto, 2009Descrição: 1 CD-ROMDescrição: 103 pAssunto : Matemática -- Teses de mestrado // Lógica proposicional // Teoria da provaCDU: 510.6(043)Recursos em linha:Formato digital

Tipo de documento	Localização	Colecção	Cota	Informação volume	Estado	Data de devolução	Código de barras	Reservas
Recursos eletrónicos	Biblioteca da UA Centro de Estudos de Jazz / Arquivo de Som	Literatura cinzenta (Teses, Dissertações, ...)	PAC-CD-ROM-3020 (Ver prateleira)	1	Interdito		299730
Livro	Mediateca da UA Depósito da Mediateca (Acesso restrito)	Literatura cinzenta (Teses, Dissertações, ...)	PAC-3689 (Ver prateleira)	1	Interdito		299729

Total de reservas 0

Anterior	Sem imagem de capa disponível	Sem imagem de capa disponível	Sem imagem de capa disponível	Sem imagem de capa disponível	Sem imagem de capa disponível	Sem imagem de capa disponível	Sem imagem de capa disponível	Seguinte
Anterior	PAC-CD-ROM-3018 Uso de bacteriófagos para controlo de Salmonella em avicultura	PAC-CD-ROM-3019 Importância do litoral entre Minho e Lima para a avifauna migratória	PAC-CD-ROM-302 Regularidade dos minimizantes no cálculo das variações e controlo óptimo	PAC-CD-ROM-3020 Análise estruturada e formal das provas	PAC-CD-ROM-3021 Synthesis and photoluminescence study of ZnO nanowires/nanorods	PAC-CD-ROM-3022 High-resolution seismic reflection investigation of gas accumulation and seepage in the tidal channels of the Ria of Aveiro barrier lagoon (Portugal)	PAC-CD-ROM-3023 Avaliação da genotoxicidade do cádmio em duas espécies de Thlaspi	Seguinte

Edição impressa e em CD-ROM

Universidade de Aveiro Matemática Tese de mestrado 2008