Etiqueta de registo: 00230nam 2200025 450
001 1686799
003 http://id.bnportugal.gov.pt/bib/catbnp/1686799
100 ## $a20080708d2006 k y0pory0103 ba
101 0# $apor$deng
102 ## $aPT
105 ## $ay m 001yy
106 ## $ar
200 1# $aTeoria de conjuntos em Isabelle$bTexto policopiado]$fHelena Paula Nunes Araújo$gorient. Francisco Miguel A. C. de Sousa Dionísio
210 #9 $aFunchal$c[s.n.],$d2006
215 ## $aX, 235 p.$d30 cm$ecurriculum vitae (6 p.)
320 ## $aBibliografia, p. 235
328 #0 $bTese mestr.$cMatemática, esp. Matemática para o Ensino$eDep. de Matemática e Engenharias, Univ. da Madeira$d2006
675 ## $a511.22(043)$vBN$zpor$31342021
675 ## $a510.6(043)$vBN$zpor$31303923
675 ## $a519.6(043)$vBN$zpor$31220290
675 ## $a519.85(043)$vBN$zpor$31221125
700 #1 $aAraújo,$bHelena Paula Nunes,$f1977-$31333075
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. 121636 V.$x1

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: 00806cam 2200229 450
001 340388
003 http://id.bnportugal.gov.pt/bib/catbnp/340388
005 19981229000000.0
095 ## $aPTBN00358975
100 ## $a19920330d1991 k y0pory0103 ba
101 0# $apor$deng
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $a Um modelo e submodelos categorias de processos concorrentes$bTexto policopiado]$fFrancisco Miguel Alves Campos de Sousa Dionísio
210 #9 $aLisboa$c[s.n.],$d1991
215 ## $a[7], 88 f.$cil.$d30 cm
320 ## $aBibliografia, f. 86-88
328 ## $aTese de mestrado em Matemática Aplicada apresentada ao Inst. Superior Técnico da Univ. Técnica de Lisboa
675 ## $a51(043)$vBN$zpor$3323829
700 #1 $aDionísio,$bFrancisco Miguel Alves Campos de Sousa$354529
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 72363 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1680587
003 http://id.bnportugal.gov.pt/bib/catbnp/1680587
100 ## $a20080325d2006 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $a The influence of social interactions on the evolution of bacteria$bTexto policopiado]$fMaria Helena Mendes Soares$gorient. Francisco Dionísio
210 #9 $a[Lisboa$cs.n.],$d2006
215 ## $a[4], VI, 64 p.$cil.$d30 cm
320 ## $aBibliografia, p. 16-17
328 #0 $bTese mestr.$cEtologia$eInstituto Superior de Psicologia Aplicada$d2006
675 ## $a579.2(043)$vBN$zpor$31252475
675 ## $a591.5(043)$vBN$zpor$3297295
675 ## $a159.9.01(043)$vBN$zpor$31422154
700 #1 $aSoares,$bMaria Helena Mendes$31321019
702 #1 $aDionísio,$bFrancisco Miguel Alves Campos de Sousa$4727$354529
712 02 $aInstituto Superior de Psicologia Aplicada$4295$312147
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 119554 V.$x1