Etiqueta de registo: 00230nam 2200025 450
001 1671938
003 http://id.bnportugal.gov.pt/bib/catbnp/1671938
100 ## $a20071119d2006 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa v 001yy
106 ## $ar
200 1# $aAlgoritmos para SMT$bTexto policopiado]$fPaulo Jorge de Oliveira Cantante de Matos$gorient. João Paulo Marques da Silva
210 #9 $aLisboa$c[s.n.],$d2006
215 ## $aXVI, 103 p.$cil.$d30 cm
320 ## $aBibliografia, p. 96-101
328 #0 $bTese mestr.$cScience in Computer and Software Engineering$eInst. Sup. Técnico, Univ. Técnica Lisboa$d2006
675 ## $a004.02(043)$vBN$zpor$31286563
675 ## $a004.4(043)$vBN$zpor$3827344
700 #1 $aMatos,$bPaulo Jorge de Oliveira Cantante de$31310535
702 #1 $aSilva,$bJoão Paulo Marques da$4727$3470745
712 02 $aUniversidade Técnica de Lisboa.$bInstituto Superior Técnico$4295$3175770
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 24099 V.$x1