Etiqueta de registo: 00697cam 2200217 450
001 1086145
003 http://id.bnportugal.gov.pt/bib/catbnp/1086145
005 20030324141800.0
100 ## $a20020624d2001 k y0pory0103 ba
101 0# $apor$deng$dfre
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aOn applying or-parallelism and tabling to logic programs$bTexto policopiado]$fRicardo Jorge Gomes Lopes da Rocha
210 #9 $aPorto$c[s.n.],$d2001
215 ## $a236 p.$cil.$d30 cm
320 ## $aBibliografia, p. 225-236
328 ## $aTese dout. Ciências de Computadores. Univ. do Porto, 2001
675 ## $a004.4(043)$vBN$zpor$3827344
675 ## $a004.43Prolog(043)$vBN$zpor$31053961
700 #1 $aRocha,$bRicardo Jorge Gomes Lopes da$31052564
966 ## $lBN$mFGMON$sP. 3420 A.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1373163
003 http://id.bnportugal.gov.pt/bib/catbnp/1373163
100 ## $a20060616d2003 k y0pory0103 ba
101 0# $apor$deng
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $a Um sistema baseado na separação de ambientes para execução distribuída de Prolog$bTexto policopiado]$fRolando da Silva Martins$gorient. Fernando da Silva, Ricardo Rocha
210 #9 $aPorto$c[s.n.],$d2003 [D.L. 2005]
215 ## $a101 f.$cil.$d30 cm
320 ## $aBibliografia, f. 100-101
328 #0 $bTese mestr.$cInformática$eDep. de Ciência de Computadores, Fac. de Ciências, Univ. do Porto$d2003
675 ## $a004.43(043)$vBN$zpor$31253292
675 ## $a004.8(043)$vBN$zpor$31234122
700 #1 $aMartins,$bRolando da Silva$31243672
702 #1 $aSilva,$bFernando da$4727$3321658
702 #1 $aRocha,$bRicardo Jorge Gomes Lopes da$4727$31052564
712 02 $aUniversidade do Porto.$bFaculdade de Ciências.$bDepartamento de Ciências de Computadores$4295$31222223
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 21735 V.$x1

Etiqueta de registo: 00000nam 2200025 450
001 1974962
003 http://id.bnportugal.gov.pt/bib/catbnp/1974962
100 ## $a20171027d2015 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aMultithreaded tabling for logic programming$fMiguel Areias$gorient. Ricardo Jorge Gomes Lopes da Rocha
210 #9 $aPorto$c[s.n.],$d2015
215 ## $a233 p.$cil.$d30 cm
328 #1 $aTese dout. Ciência dos Computadores, Fac. de Ciências, Univ. do Porto, 2015
675 ## $a004.43(043)$vBN$zpor$31253292
700 #1 $aAreias,$bMiguel$31695432
702 #1 $aRocha,$bRicardo Jorge Gomes Lopes da$4727$31052564
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 48794 V.$x1

Etiqueta de registo: 00000nam 2200025 450
001 1974966
003 http://id.bnportugal.gov.pt/bib/catbnp/1974966
100 ## $a20171027d2016 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aLogic programming environments with advanced parallelism$fJoão Pedro Barreiros Nunes dos Santos$gorient. Ricardo Jorge Gomes Lopes da Rocha
210 #9 $aPorto$c[s.n.],$d2016
215 ## $aXVII, 113 p.$cil.$d30 cm
328 #1 $aTese dout. Ciência dos Computadores, Fac. Ciências, Univ. Porto, 2016
675 ## $a004.42(043)$vBN$zpor$3793077
700 #1 $aSantos,$bJoão Pedro Barreiros Nunes dos$31695439
702 #1 $aRocha,$bRicardo Jorge Gomes Lopes da$4727$31052564
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 48799 V.$x1