Etiqueta de registo: 00000nam 2200025 450
001 1837069
003 http://id.bnportugal.gov.pt/bib/catbnp/1837069
100 ## $a20130417d2012 k y0pory01030103ba
101 0# $aeng fre$dpor
102 ## $aPT E
105 ## $aa m 000yy
106 ## $ar
200 1# $aProbabilistic constraint reasoning$fElsa Cristina Batista Bento Carvalho$gorient. Jorge Carlos Ferreira Rodrigues da Cruz, Pedro Manuel Corrêa Calvente de Barahona
210 #9 $aLisboa$c[s.n.],$d2012
215 ## $aXX, 257 p.$cil.$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. 247-257
328 #1 $aTese dout. Engª Informática, Fac. de Ciências e Tecnologia, Univ. Nova de Lisboa, 2012
675 ## $a004.41/.42(043)$vBN$zpor$31406178
700 #1 $aCarvalho,$bElsa Cristina Batista Bento$31226440
702 #1 $aCruz,$bJorge Carlos Ferreira Rodrigues da$4727$3190947
702 #1 $aBarahona,$bPedro$4727$31362446
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 20422 P.$x1
966 ## $lBN$mFGMON$sP. 37549 V.

Etiqueta de registo: 00230nam 2200025 450
001 1739973
003 http://id.bnportugal.gov.pt/bib/catbnp/1739973
100 ## $a20100310d2008 k y0pory0103 ba
101 0# $aeng
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aTowards solving a system of pseudo boolean constraints with binary decision diagrams$bTexto policopiado$fValentin Christian Johannes Kaspar Mayer-Eichberger$gorient. Pedro Barahona
210 #9 $aLisboa$c[s.n.],$d2008
215 ## $aIV, 69, [1] p.$cil.$d30 cm
215 ## $a1 disco óptico (CD-ROM) em caixa$cil.$d13 x 15 x 1 cm
305 ## $aEd. impressa e em CD-ROM
320 ## $aContém bibliografia
328 #0 $bTese mestr.$cLógica Computacional$eFac. de Ciências e Tecnologia, Univ. Nova de Lisboa$d2008
675 ## $a004.42(043)$vBN$zpor$3793077
675 ## $a519(043)$vBN$zpor$3476435
700 #1 $aMayer-Eichberger,$bValentin Christian Johannes Kaspar$31413437
702 #1 $aBarahona,$bPedro$4727$31362446
712 02 $aUniversidade Nova de Lisboa.$bFaculdade de Ciências e Tecnologia$4295$320143
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 16729 P.$x1
966 ## $lBN$mFGMON$sP. 28129 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1739648
003 http://id.bnportugal.gov.pt/bib/catbnp/1739648
100 ## $a20100308d2008 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aValue orderings based on solution counting$bTexto policopiado]$fJean Christoph Jung$gsuperv. Pedro Barahona, George Katsirelos
210 #9 $aLisboa$c[s.n.],$d2008
215 ## $a[2], VIII, 73 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 ## $aBibliografia, p. 69-73
328 #0 $bTese metr.$cComputational Logic$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 $aJung,$bJean Christoph$31412948
702 #1 $aBarahona,$bPedro$4727$31362446
702 #1 $aKatsirelos,$bGeorge$4727$31412947
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. 16772 P.$x1
966 ## $lBN$mFGMON$sP. 28256 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1702342
003 http://id.bnportugal.gov.pt/bib/catbnp/1702342
100 ## $a20090211d2006 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aMining protein structure data$bTexto policopiado]$fJosé Carlos Almeida Santos$gorient. Pedro Barahona, Ludwig Krippahl
210 #9 $aLisboa$c[s.n.],$d2006
215 ## $aXIV, 117 p.$cil.$d31 cm
215 ## $a1 disco óptico (CD-ROM) em caixa$cil.$d13 x 14 x 1 cm
305 ## $aEd. impressa e em CD-ROM
328 #0 $bTese mestr.$cEngenharia Informática ( Inteligência Artificial)$eDep. de Informática, Fac. de Ciências e Tecnologia, Univ. Nova de Lisboa$d2006
675 ## $a004.65(043)$vBN$zpor$31229689
675 ## $a004.8(043)$vBN$zpor$31234122
700 #1 $aSantos,$b José Carlos de Almeida$f1981-$31362450
702 #1 $aBarahona,$bPedro$4727$31362446
702 #1 $aKrippahl,$bLudwig$f1972-$4727$3978613
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. 15731 P.$x1
966 ## $lBN$mFGMON$sP. 3805 A.$x1

Etiqueta de registo: 00000nam 2200025 450
001 1946328
003 http://id.bnportugal.gov.pt/bib/catbnp/1946328
100 ## $a20161027d2015 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aLearning domain-specific sentiment lexicons with applications to recommender systems$fFilipa Alexandra de Madureira Peleja$gorient. Pedro Barahona
210 #9 $aLisboa$c[s.n.],$d2015
215 ## $aXX, 152 p$cil.$d30 cm
328 #1 $aTese dout. Informática, Fac. de Ciências e Tecnologia, Univ. Nova de Lisboa, 2015
675 ## $a621.38(043)$vBN$zpor$3335621
700 #1 $aPeleja,$bFilipa Alexandra de Madureira$31661044
702 #1 $aBarahona,$bPedro$4727$31362446
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 163464 V.$x1