Etiqueta de registo: 00000nx a2200025 45 001 1790331003 http://id.bnportugal.gov.pt/aut/catbnp/1790331100 ## $a20200916apory0103 ba0102 ## $aPT152 ## $aRPC200 #1 $aRobert,$bIvo801 #0 $aPT$bBN810 ## $aProverX - rewriting and extending prover9830 ## $aDout. Computational Algebraver registos bibliográficos associados
OpendataBNP@bnportugal.pt | Mais informação sobre acesso aos dados BNP