Etiqueta de registo: 00230nam 2200025 450
001 1686556
003 http://id.bnportugal.gov.pt/bib/catbnp/1686556
100 ## $a20080704d2006 k y0pory0103 ba
101 0# $apor$deng
102 ## $aPT
105 ## $ay m 001yy
106 ## $ar
200 1# $aLógica modal etiquetada em Isabelle$bTexto policopiado]$fMarco Paulo Ferreirinha Garapa$gorient. Francisco Miguel Alves Campos de Sousa Dionísio
210 #9 $aFunchal$c[s.n.],$d2006
215 ## $aV, [1], 265 f.$d30 cm$ecurriculum vitae (8 f.)
320 ## $aBibliografia, f. 265
328 #0 $bTese mestr.$cMatemática (espec. Matemática para o Ensino)$eDep. de Matemática e Engenharias, Univ. da Madeira$d2006
675 ## $a510.64(043)$vBN$zpor$31336195
675 ## $a519.67(043)$vBN$zpor$3567239
675 ## $a519.71(043)$vBN$zpor$3389481
675 ## $a004.9(043)$vBN$zpor$3788403
700 #1 $aGarapa,$bMarco Paulo Ferreirinha,$f1976-$31332624
702 #1 $aDionísio,$bFrancisco Miguel Alves Campos de Sousa$4727$354529
712 02 $aUniversidade da Madeira.$bDepartamento de Matemática e Engenharias$4295$31228433
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 120922 V.$x1

Etiqueta de registo: 00000nam 2200025 450
001 1986977
003 http://id.bnportugal.gov.pt/bib/catbnp/1986977
100 ## $a20180403d2017 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay m 000yy
106 ## $ar
200 1# $aAdvances on belief base dynamics$fMarco Paulo Ferreirinha Garapa$gorient. Eduardo Leopoldo Fermé, Maurício Duarte Luís Reis
210 #9 $aFunchal$c[s.n.],$d2017
215 ## $a247 p.$d30 cm
328 #1 $aTese dout. Mathematics (Logic and Computer Science), Universidade da Madeira, 2017
675 ## $a510.6(043)$vBN$zpor$31303923
700 #1 $aGarapa,$bMarco Paulo Ferreirinha,$f1976-$31332624
702 #1 $aFermé,$bEduardo Leopoldo$4727$31338632
702 #1 $aReis,$bMaurício Duarte Luís$4727$31212173
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 168364 V.