Etiqueta de registo: 00659cam 2200217 450
001 1086136
003 http://id.bnportugal.gov.pt/bib/catbnp/1086136
005 20030117155300.0
100 ## $a20020624d2001 k y0pory0103 ba
101 0# $apor
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aInferência de tipos e resolução de restrições$bTexto policopiado]$fSandra Maria Mendes Alves
210 #9 $aPorto$c[s.n.],$d2001
215 ## $a112 p.$cil.$d30 cm
320 ## $aBibliografia, p. 103-105
328 ## $aTese mestr. Informática, Univ. Porto, 2001
675 ## $a519.6(043)$vBN$zpor$31220290
675 ## $a004.4(043)$vBN$zpor$3787169
700 #1 $aAlves,$bSandra Maria Mendes$31052455
966 ## $lBN$mFGMON$sS.A. 7676 A.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1702624
003 http://id.bnportugal.gov.pt/bib/catbnp/1702624
100 ## $a20090213d2007 k y0pory0103 ba
101 0# $aeng$dpor$dfre
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aLinearisation of the lambda-calculus$fSandra Maria Mendes Alves$gorient. Mário Florido
210 #9 $aPorto$c[s.n.],$d2007
215 ## $a197 p.$cil.$d30 cm
215 ## $a1 disco óptico (CD-ROM) em caixa$cil.$d13 x 14 x 1 cm
305 ## $aEd. impressa e em CD-ROM
320 ## $aContém bibliografia
328 #0 $bTese dout.$cCiência de Computadores$eDep, de Ciência de Computadores, Fac. de Ciências, Univ. do Porto$d2007
675 ## $a004.02(043)$vBN$zpor$31286563
675 ## $a519.85(043)$vBN$zpor$31221125
700 #1 $aAlves,$bSandra Maria Mendes$31052455
702 #1 $aFlorido,$bAntónio Mário da Silva Marcos$4727$3797898
712 02 $aUniversidade do Porto.$bFaculdade de Ciências.$bDepartamento de Ciências de Computadores$4295$31222223
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 15749 P.$x1
966 ## $lBN$mFGMON$sP. 25659 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1288572
003 http://id.bnportugal.gov.pt/bib/catbnp/1288572
021 ## $aPT$b1998831/03
100 ## $a20040729d2003 m y0pory0103 ba
101 0# $apor
102 ## $aPT
105 ## $aa z 001yy
106 ## $ar
200 1# $aGestão e promoção de CDTI$emanual do formando$fSandra Alves
205 ## $a1ª ed
210 #9 $aLisboa$cFundação para a Divulgação das Tecnologias de Informação,$d2003
215 ## $a123 p.$cil.$d30 cm
675 ## $a004.73(076)$vBN$zpor$3795170
675 ## $a377(469)$vBN$zpor$3323608
700 #1 $aAlves,$bSandra Maria Mendes$31052455
900 ## $aBIBNAC$d20130602
966 ## $lBN$mFGMON$sP. 19910 V.$x1
966 ## $lBN$mFGMON$sP. 19910 V.$x1