Catálogo da BNP: acesso por Identificadores Unívocos
Registo de autoridade
Etiqueta de registo: 00146nx a2200073 45 001 1333011 100 ## $a20080708apory0103 ba0 102 ## $aPT 152 ## $aRPC 200 #1 $aMorgado,$bAntónio José dos Reis 801 #0 $aPT$bBN 810 ## $aLearning tecnhiques for model enumeration in boolean satisfiability 830 ## $aMestre em Engenharia Informática e Computação ver registos bibliográficos associados