| Registos Bibliográficos associados ao registo de autoridade |
|
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 1717999
003 http://id.bnportugal.gov.pt/bib/catbnp/1717999
100 ## $a20090706d2007 k y0pory0103 ba
101 0# $aeng$dfre$dpor
102 ## $aPT
105 ## $ay m 000yy
106 ## $ar
200 1# $aXML processing in logic programming$bTexto policopiado]$fJorge Manuel Neves Coelho$gorient. Mário Florido
210 #9 $a[Porto$cs.n.],$d2007
215 ## $a171 p.$d30 cm
215 ## $a1 disco óptico (CD-ROM) em caixa$cil.$d13 x 14 x 1 cm
305 ## $aEdição impressa e em CD-ROM
320 ## $aBibliografia, p. 163-171
328 #0 $bTese dout.$cCiência de Computadores$eDep. Ciência de Computadores, Fac. Ciências, Univ. Porto$d2007
675 ## $a004.42(043)$vBN$zpor$3793077
675 ## $a004.43(043)$vBN$zpor$31253292
700 #1 $aCoelho,$bJorge Manuel Neves$31152244
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. 15996 P.$x1
966 ## $lBN$mFGMON$sP. 26652 V.$x1
Etiqueta de registo: 00714cam 2200229 450
001 882962
003 http://id.bnportugal.gov.pt/bib/catbnp/882962
005 20000518175600.0
095 ## $aPTBN01011099
100 ## $a19981002d1997 k y0pory0103 ba
101 0# $apor
102 ## $aPT
105 ## $ay m 001yy
106 ## $ar
200 1# $aSistemas de tipos para linguagens declarativas$bTexto policopiado]$fAntónio Mário da Silva Marcos Florido
210 #9 $aPorto$c[s.n.],$d1997
215 ## $aXII, [2], 137 p.$d30 cm
320 ## $aBibliografia, p. 133-137
328 ## $aTese dout. Ciência de Computadores, Univ. do Porto, 1997
675 ## $a681.3$vBN$zpor$3289952
700 #1 $aFlorido,$bAntónio Mário da Silva Marcos$3797898
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 87074 V.$x1
Etiqueta de registo: 00230nam 2200025 450
001 1881274
003 http://id.bnportugal.gov.pt/bib/catbnp/1881274
100 ## $a20140811d2014 k y0pory0103 ba
101 0# $aeng$dporundfre
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aAmortised resource analysis for lazy functional programs$fHugo Miguel Oliveira Romualdo Simões$gorient. Mário Florido, Kevin Hammond
210 #9 $aPorto$c[s.n.],$d2014
215 ## $aXVIII, 122 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 #1 $aTese dout. Ciência de Computadores, Univ. do Porto, 2014
675 ## $a004.43(043)$vBN$zpor$31253292
675 ## $a004.8(043)$vBN$zpor$31234122
700 #1 $aSimões,$bHugo Miguel Oliveira Romualdo$31582824
702 #1 $aFlorido,$bAntónio Mário da Silva Marcos$4727$3797898
702 #1 $aHammond,$bKevin$4727$31582825
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 21505 P.$x1
966 ## $lBN$mFGMON$x1
Etiqueta de registo: 00000nam 2200025 450
001 1975127
003 http://id.bnportugal.gov.pt/bib/catbnp/1975127
100 ## $a20171030d2014 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay m 001yy
106 ## $ar
200 1# $aProgramming with sequence and context variables$efoundations and applications$fBesik Dundua$gorient. António Mário da Silva Marcos Florido, Temur Kutsia
210 #9 $aPorto$c[s.n.],$d2014
215 ## $a134 p.$d30 cm
328 #1 $aTese dout. Ciência de Computadores, Universidade do Porto, 2014
675 ## $a004.42(043)$vBN$zpor$3793077
675 ## $a004.43(043)$vBN$zpor$31253292
700 #1 $aDundua,$bBesik$31695630
702 #1 $aFlorido,$bAntónio Mário da Silva Marcos$4727$3797898
702 #1 $aKutsia,$bTemur$4727$31695631
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 48701 V.$x1
Etiqueta de registo: 00254nam 2200025 450
001 2133962
003 http://id.bnportugal.gov.pt/bib/catbnp/2133962
100 ## $a20230607d2023 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay m 000yy
106 ## $ar
200 1# $aType assignment in logic programming$fJoão Luís Alves Barbosa$gorient. António Mário da Silva Marcos Florido, Vítor Manuel da Silva Santos Costa
210 #9 $aPorto$c[s.n.],$d2023
215 ## $aXIX, 132 p.$d30 cm
328 #1 $aTese dout. Ciência de Computadores, Fac. de Ciências, Univ. do Porto, 2023
675 ## $a004.42(043)$vBN$zpor$3793077
700 #1 $aBarbosa,$bJoão Luís Alves$31884317
702 #1 $aFlorido,$bAntónio Mário da Silva Marcos$4727$3797898
702 #1 $aCosta,$bVitor Manuel da Silva$4727$3916636
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 63804 V.$x1
971 ## $cjbeatriz$d20230607
972 ## $e0$z0$d20230925$vmsebas
973 ## $cmcarvalho$d20230908
|
|
|
