Etiqueta de registo: 00230nam 2200025 450
001 1740164
003 http://id.bnportugal.gov.pt/bib/catbnp/1740164
100 ## $a20100312d2008 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aConstraint solving over finite graphs$bTexto policopiado]$fRuben Frederico Duarte Viegas$gorient. Francisco de Moura e Castro Ascensão de Azevedo
210 #9 $aLisboa$c[s.n.],$d2008
215 ## $aXIX,103 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. 98-103
328 #0 $bTese mestr.$cComputer Science$eDep. de Informática, Fac. de Ciências e Tecnologia, Univ. Nova de Lisboa$d2008
675 ## $a004.72(043)$vBN$zpor$3959974
675 ## $a519.17(043)$vBN$zpor$31219540
700 #1 $aViegas,$bRuben Frederico Duarte$31413745
702 #1 $aAzevedo,$bFrancisco de Moura e Castro Ascensão de$4727$31145561
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. 16736 P.$x1
966 ## $lBN$mFGMON$sP. 28146 V.$x1