Etiqueta de registo: 00230nam 2200025 450
001 1717074
003 http://id.bnportugal.gov.pt/bib/catbnp/1717074
100 ## $a20090626d2006 k y0pory0103 ba
101 0# $apor$deng
102 ## $aPT
105 ## $ay m 001yy
106 ## $ar
200 1# $aModelação lógica de agentes BDI dotados de emoções artificiais$bTexto policopiado]$fDavid Miguel Ramalho Pereira$gorient. Eugénio Oliveira, Nelma Moreira
210 #9 $aPorto$c[s.n.],$d2006
215 ## $a127 p.$d30 cm
320 ## $aBibliografia, p. 123-127
328 #0 $bTese mestr.$cInformática$eFac. de Ciências, Univ. do Porto$d2006
675 ## $a004.81(043)$vBN$zpor$31241076
675 ## $a159.942(043)$vBN$zpor$3810712
700 #1 $aPereira,$bDavid Miguel Ramalho$31382626
702 #1 $aOliveira,$bEugénio$4727$3357225
702 #1 $aMoreira,$bNelma Resende Araújo$4727$3281106
712 02 $aUniversidade do Porto.$bFaculdade de Ciências.$bDepartamento de Ciências de Computadores$4295$31222223
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 26642 V.$x1

Etiqueta de registo: 00000nam 2200025 450
001 1881256
003 http://id.bnportugal.gov.pt/bib/catbnp/1881256
100 ## $a20140811d2013 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay m 000yy
106 ## $ar
200 1# $aTowards certified program logics for the verification of imperative programs$fDavid Miguel Ramalho Pereira$gorient. Nelma Moreira, Simão Melo de Sousa
210 #9 $aPorto$c[s.n.],$d2013
215 ## $aXIX, 144 p.$d30 cm
215 ## $a1 disco ótico (CD-ROM) em caixa$d13 x 14 x 1 cm
305 ## $aEd. impressa e em CD-ROM
320 ## $aContém bibliografia
328 #1 $aTese dout. Computer Science, Fac. de Ciências, Univ. do Porto, 2013
675 ## $a004.4(043)$vBN$zpor$3787169
675 ## $a512(043)$vBN$zpor$3297302
700 #1 $aPereira,$bDavid Miguel Ramalho$31382626
702 #1 $aMoreira,$bNelma Resende Araújo$4727$3281106
702 #1 $aSousa,$bSimão Melo de$4727$31405160
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 21506 P.$x1
966 ## $lBN$mFGMON$sP. 40324 V.$x1