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