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: 00254nam 2200025 450
001 2101536
003 http://id.bnportugal.gov.pt/bib/catbnp/2101536
100 ## $a20220603d2022 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay m 001yy
106 ## $ar
200 1# $aAnalog characterization of complexity classes$fRiccardo Gozzi$gorient. João Filipe Quintas dos Santos Rasga, Daniel da Silva Graça
210 #9 $aLisboa$c[s.n.],$d2022
215 ## $aIX, 91 p.$d30 cm
328 #1 $aTese dout. Information Security, Instituto Superior Técnico, Universidade de Lisboa, 2022
675 ## $a004.02(043)$vBN$zpor$31286563
700 #1 $aGozzi,$bRiccardo$31848683
702 #1 $aRasga,$bJoão Filipe Quintas dos Santos$4727$31181175
702 #1 $aGraça,$bDaniel da Silva$4727$31142869
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 61326 V.$x1
971 ## $cdpenetra$d20220603
972 ## $e0$z0$d20221227$viquintas
973 ## $cmcarvalho$d20221206

Etiqueta de registo: 01044cam 2200265 450
001 1230688
003 http://id.bnportugal.gov.pt/bib/catbnp/1230688
100 ## $a20040126d2003 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay m 001yy
106 ## $ar
200 1# $aFibring labelled first-order based logics$bTexto policopiado]$fJoão Filipe Quintas dos Santos Rasga
210 #9 $aLisboa$c[s.n.],$d2003
215 ## $aVIII, VII, 204 p.$d30 cm
320 ## $aBibliografia, p. 199-204
328 ## $aTese dout. Matemática, Univ. Técnica de Lisboa, 2003
675 ## $a51(043)$vBN$zpor$3323829
700 #1 $aRasga,$bJoão Filipe Quintas dos Santos$31181175
856 40 $uhttps://purl.pt/5466
856 41 $uhttps://purl.pt/5466/service/media/cover/low
958 ## $aBND$bLivre$cDigitalizado$d1$ehttps://purl.pt/5466/service/media/cover/max
966 ## $lBN$mBND$nDigitalização do original: S.A. 107285 V.$sPURL 5466/0
966 ## $lBN$mBND$nDigitalização do original: S.A. 107285 V.$sPURL 5466/1
966 ## $lBN$mFGMON$sS.A. 107285 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 2011728
003 http://id.bnportugal.gov.pt/bib/catbnp/2011728
100 ## $a20190117d2018 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay z 000yy
106 ## $ar
200 1# $aCombining satisfiability procedures and probabilistic satisfiability$fFilipe Manuel Rodrigues Casal$gorient. João Filipe Quintas dos Santos Rasga
210 #9 $aLisboa$c[s.n.],$d2018
215 ## $aXX, 92 p.$d30 cm
328 #1 $aTese dout. Information Security, Inst. Superior Técnico, Univ. Técnica de Lisboa, 2018
675 ## $a004.05(043)$vBN$zpor$31239909
675 ## $a519.2(043)$vBN$zpor$3326975
700 #1 $aCasal,$bFilipe Manuel Rodrigues$31738490
702 #1 $aRasga,$bJoão Filipe Quintas dos Santos$4727$31181175
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 52427 V.$x1