Etiqueta de registo: 00326cx a2200109 45
001 179014
003 http://id.bnportugal.gov.pt/aut/catbnp/179014
100 ## $a19950530apory0103 ba0
102 ## $aPT
152 ## $aRPC
200 #1 $aCaires,$bLuís
400 #1 $aCaires,$bLuís Manuel Marques da Costa$31352625
801 #0 $aPT$bBN
810 ## $aUnificação de ordem superior polimórfica para a programação em lógica
830 ## $aDout. em Informática. Orient. de teses
ver registos bibliográficos associados