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