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