Etiqueta de registo: 00277cx a2200109 45
001 1052455
100 ## $a20021204apory0103 ba0
102 ## $aPT
152 ## $aRPC
200 #1 $aAlves,$bSandra Maria Mendes
801 #0 $aPT$bBN
810 ## $aInferência de tipos e resolução de restrições
830 ## $aDout. em Ciência de Computadores
ver registos bibliográficos associados