Registos Bibliográficos associados ao registo de autoridade |
|
Etiqueta de registo: 00000nam 2200025 450 001 2055003 003 http://id.bnportugal.gov.pt/bib/catbnp/2055003 100 ## $a20200916d2019 k y0pory01030103ba 101 0# $deng$apor 102 ## $aPT 105 ## $ay m 000yy 106 ## $ar 200 1# $aProverX - rewriting and extending prover9$fIvo Robert$gorient. João Araújo, Robert Veroff 210 #9 $a[S.l.$cs.n.],$d2019 215 ## $aIX, 134, 4 p.$d30 cm 328 #1 $aTese dout. Computational Algebra, Univ. Aberta, 2019 675 ## $a004.4(043)$vBN$zpor$3787169 675 ## $a512(043)$vBN$zpor$3297302 700 #1 $aRobert,$bIvo$31790331 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 856 40 $2Cópia digital disponível no Repositório Aberto - Universidade Aberta$uhttp://hdl.handle.net/10400.2/9925 966 ## $lBN$mFGMON$sP. 56537 V.$x1
|
|
|