Etiqueta de registo: 00230nam 2200025 450
001 1818050
003 http://id.bnportugal.gov.pt/bib/catbnp/1818050
100 ## $a20120829d2012 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay m 000yy
106 ## $ar
200 1# $aFusion of general modal logics labelled with truth values$fKarina Girardi Roggia$gorient. Maria Cristina de Sales Viana Serôdio Sernadas, João Filipe Quintas dos Santos Rasga
210 #9 $aLisboa$c[s.n.],$d2012
215 ## $aX, 99 p.$d30 cm
215 ## $a1 disco óptico (CD-ROM) em caixa$d13 x 14 x 1 cm
305 ## $aEd. impressa e em CD-ROM
320 ## $aBibliografia, p. 89-95
328 #1 $aTese dout. Mathematics, Inst. Superior Técnico, Univ. Técnica de Lisboa, 2012
675 ## $a510.64(043)$vBN$zpor$31336195
700 #1 $aRoggia,$bKarina Girardi$31504852
702 #1 $aSernadas,$bMaria Cristina Sales Viana Serôdio$4727$31472745
702 #1 $aRasga,$bJoão Filipe Quintas dos Santos$4727$31181175
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sS.A. 53174 P.
966 ## $lBN$mFGMON$sS.A. 146003 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1793230
003 http://id.bnportugal.gov.pt/bib/catbnp/1793230
100 ## $a20111027d2010 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay m 000yy
106 ## $ar
200 1# $aProbabilization of logic systems$fPedro Alexandre Cardoso Baltazar$gorient. Paulo Alexandre Carreira Mateus, Maria Cristina Sales Viana Serôdio Sernada
210 #9 $aLisboa$c[s.n.],$d2010
215 ## $aVII,141 p.$d30 cm
215 ## $a1 disco óptico (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. matemática, Inst. Sup. Téc., Univ. Téc. de Lisboa, 2010
675 ## $a510.6(043)$vBN$zpor$31303923
700 #1 $aBaltazar,$bPedro Alexandre Cardoso$31472746
702 #1 $aMateus,$bPaulo Alexandre Carreira$4727$31000296
702 #1 $aSernadas,$bMaria Cristina Sales Viana Serôdio$4727$31472745
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sS.A. 53303 P.$x1
966 ## $lBN$mFGMON$sS.A. 146354 V.$x1