Etiqueta de registo: 00000nam 2200025 450
001 1965856
003 http://id.bnportugal.gov.pt/bib/catbnp/1965856
100 ## $a20170622d2017 k y0pory01030103ba
101 0# $aeng$dporfre
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $a A probabilistic logic over equations and domain restrictions$fAndreia Filipa Torcato Mordido$gsupervisor Carlos Manuel Costa Lourenço Caleiro
210 #9 $aLisboa$c[s.n.],$d2017
215 ## $aIX, 149 p.$cil.$d30 cm
328 #1 $aTese dout. Information Security, Instituto Superior Técnico, Universidade de Lisboa, 2017
675 ## $a004.42(043)$vBN$zpor$3793077
675 ## $a004.05(043)$vBN$zpor$31239909
675 ## $a510.6(043)$vBN$zpor$31303923
700 #1 $aMordido,$bAndreia Filipa Torcato$31684246
702 #1 $aCaleiro,$bCarlos,$f1970-$4727$3221905
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 47944 V.$x1