Open Data Biblioteca Nacional de Portugal


República Portuguesa: Ministério da Cultura
Biblioteca Nacional de Portugal

Catálogo da BNP: acesso por Identificadores Unívocos
Registos Bibliográficos associados ao registo de autoridade

Etiqueta de registo: 00254nam 2200025 450
001 2157055
003 http://id.bnportugal.gov.pt/bib/catbnp/2157055
100 ## $a20240219d2023 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aRewriting prover9$fCarlos Sousa$gorient. João Araújo, Robert Veroff
210 #9 $a[S.l.$cs.n.],$d2023
215 ## $a195 p.$cil.$d30 cm
328 #1 $aTese dout. Álgebra Computacional, Universidade Aberta, 2023
675 ## $a004.41(043)$vBN$zpor$3869101
675 ## $a512(043)$vBN$zpor$3297302
700 #1 $914$aSousa,$bCarlos$31907269
702 #1 $aAraújo,$bJoão Jorge Ribeiro Soares Gonçalves de$4727$31172101
702 #1 $aVeroff,$bRobert$4727$31790332
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 66056 V.$x1
971 ## $cabrito$d20240219
972 ## $e0$z0$d20240412$viquintas
973 ## $cigoulao$d20240402

OpendataBNP@bnportugal.pt | Mais informação sobre acesso aos dados BNP