Etiqueta de registo: 00000nx a2200025 45
001 1790332
003 http://id.bnportugal.gov.pt/aut/catbnp/1790332
100 ## $a20200916apory0103 ba0
152 ## $aRPC
200 #1 $aVeroff,$bRobert
801 #0 $aPT$bBN
810 ## $aProverX - rewriting and extending prover9
830 ## $aOrient. de teses
ver registos bibliográficos associados