Etiqueta de registo: 00000nam 2200025 450
001 1837063
003 http://id.bnportugal.gov.pt/bib/catbnp/1837063
100 ## $a20130417d2012 k y0pory01030103ba
101 0# $aeng fre$dpor
102 ## $aPT E
105 ## $ay m 000yy
106 ## $ar
200 1# $aUpdates of hybrid knowledge bases$fMartin Slota$gorient. João Alexandre Carvalho Pinheiro Leite
210 #9 $aLisboa$c[s.n.],$d2012
215 ## $aXX, 296 p.$d30 cm
215 ## $a1 disco ótico (CD-ROM) em caixa$cil.$d13 x 14 x 1 cm
305 ## $aEd. impressa e em CD-ROM
320 ## $aBibliografia, p. 147-163
328 #1 $aTese dout. Engª Informática, Fac. de Ciências e Tecnologia, Univ. Nova de Lisboa, 2012
675 ## $a004.77(043)$vBN$zpor$31229690
675 ## $a004.82(043)$vBN$zpor$31209577
675 ## $a519.85(043)$vBN$zpor$31221125
700 #1 $aSlota,$bMartin$31530319
702 #1 $aLeite,$bJoão Alexandre Carvalho Pinheiro$4727$3282210
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 20406 P.$x1
966 ## $lBN$mFGMON$sP. 37544 V.

Etiqueta de registo: 00638cam 2200205 450
001 1098086
003 http://id.bnportugal.gov.pt/bib/catbnp/1098086
005 20030115140400.0
100 ## $a20030115d2002 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay z 001yy
106 ## $ar
200 1# $aEvolving knowledge bases$bTexto policopiado]$especification and semantics$fJoão Alexandre Carvalho Pinheiro Leite
210 #9 $aLisboa$c[s.n.],$d2002
215 ## $a271 p.$d30 cm
320 ## $aBibliografia, p. 255-271
328 ## $aTese dout. Informática, Univ. Nova de LIsboa, 2002
675 ## $a004.4(043)$vBN$zpor$3787169
675 ## $a519.6(043.2)$vBN$zpor$3304652
700 #1 $aLeite,$bJoão Alexandre Carvalho Pinheiro$3282210
966 ## $lBN$mFGMON$sP. 17941 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1739916
003 http://id.bnportugal.gov.pt/bib/catbnp/1739916
100 ## $a20100310d2008 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aDynamic logic based user modeling for recommender systems$bTexto policopiado]$fManoela Ilic$gJoão Alexandre Leite
210 #9 $aMonte de Caparica$c[s.n.],$d2008
215 ## $aVII, 105 p.$cil.$d30 cm
215 ## $a1 disco óptico (CD-ROM) em caixa$cil.$d13 x 14 x 1cm
305 ## $aEd. impressa e em CD-ROM
320 ## $aContém bibliografia
328 #0 $bTese mestr.$cLógica Computacional$eDep. de Informática, Fac. de Ciências e Tecnologia, Univ. Nova de Lisboa$d2008
675 ## $a004.4(043)$vBN$zpor$3827344
675 ## $a519(043)$vBN$zpor$3476435
700 #1 $aIlic,$bManoela$31413341
702 #1 $aLeite,$bJoão Alexandre Carvalho Pinheiro$4727$3282210
712 02 $aUniversidade Nova de Lisboa.$bFaculdade de Ciências e Tecnologia.$bDepartamento de Informática$4295$31213513
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 16726 P.$x1
966 ## $lBN$mFGMON$sP. 28132 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1702811
003 http://id.bnportugal.gov.pt/bib/catbnp/1702811
100 ## $a20090217d2006 k y0pory0103 ba
101 0# $apor
102 ## $aPT
105 ## $ay m 000yy
106 ## $ar
200 1# $aDynamic logic programming and 3APL$bTexto policopiado]$fVivek Nigam$gorient. João Alexandre Leite
210 #9 $aLisboa$c[s.n.],$d2006
215 ## $a96 p.$d31 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 mestr.$cLógica Computacional$eDep. de Informática, Fac. de Ciências e Tecnologia, Univ. Nova de Lisboa$d2006
675 ## $a004.43(043)$vBN$zpor$31253292
675 ## $a519.6(043)$vBN$zpor$31220290
700 #1 $aNigam,$bVivek$31363186
702 #1 $aLeite,$bJoão Alexandre Carvalho Pinheiro$4727$3282210
712 02 $aUniversidade Nova de Lisboa.$bFaculdade de Ciências e Tecnologia.$bDepartamento de Informática$4295$31213513
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 15733 P.$x1
966 ## $lBN$mFGMON$sP. 3807 A.$x1

Etiqueta de registo: 00698cam 2200229 450
001 978057
003 http://id.bnportugal.gov.pt/bib/catbnp/978057
005 19990625000000.0
095 ## $aPTBN00989301
100 ## $a19980515d1997 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay m 001yy
106 ## $ar
200 1# $aLogic programa updates$bTexto policopiado]$fJoão Alexandre Carvalho Pinheiro Leite
210 #9 $aLisboa$c[s.n.],$d1997
215 ## $aX, 115 p.$d31 cm
320 ## $aBibliografia, p. 95-98
328 ## $aTese mestr. Eng. Informática, Univ. Nova de Lisboa, 1997
675 ## $a681.3(043.2)$vBN$zpor$3300199
700 #1 $aLeite,$bJoão Alexandre Carvalho Pinheiro$3282210
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 7272 A.$x1