Etiqueta de registo: 00000nam 2200025 450
001 2029275
003 http://id.bnportugal.gov.pt/bib/catbnp/2029275
100 ## $a20190917d2019 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aSpherical tilings, GeoGebra contributions to their combinatorial and geometrical classification$fJosé Manuel dos Santos dos Santos$gorient. Ana Maria Reis D'Azevedo Breda, João Jorge Ribeiro Soares Gonçalves de Araújo
210 #9 $aLisboa$c[s.n.],$d2019
215 ## $aIX, 91 p.$cil.$d30 cm$eresumo
328 #1 $aTese dout. Álgebra Computacional, Departamento de Ciências e Tecnologia, Universidade Aberta, 2019
675 ## $a512.7(043)$vBN$zpor$31250958
675 ## $a514(043)$vBN$zpor$31265266
700 #1 $aSantos,$bJosé Manuel dos Santos dos$3967843
702 #1 $aBreda,$bAna de Azevedo$4727$3240336
702 #1 $aAraújo,$bJoão Jorge Ribeiro Soares Gonçalves de$4727$31172101
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 173106 V.$x1

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

Etiqueta de registo: 00000nam 2200025 450
001 2055001
003 http://id.bnportugal.gov.pt/bib/catbnp/2055001
100 ## $a20200916d2019 k y0pory01030103ba
101 0# $deng$apor
102 ## $aPT
105 ## $ay m 000yy
106 ## $ar
200 1# $aConjugation in abstract semigroups$fMaria de Fátima Lopes Borralho$gorient. João Jorge Ribeiro Soares Gonçalves de Araújo, Michael K. Kinyon
210 #9 $a[S.l.$cs.n.],$d2019
215 ## $aXV, 22 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 $aBorralho,$bMaria de Fátima Lopes$31790329
702 #1 $aAraújo,$bJoão Jorge Ribeiro Soares Gonçalves de$4727$31172101
702 #1 $aKinyon.$bMichael K.$4727$31790330
801 #0 $aPT$bBN$gRPC
856 40 $2Cópia digital disponível no Repositório Aberto - Universidade Aberta$uhttp://hdl.handle.net/10400.2/9903
966 ## $lBN$mFGMON$sP. 56604 V.$x1

Etiqueta de registo: 00000nam 2200025 450
001 2055007
003 http://id.bnportugal.gov.pt/bib/catbnp/2055007
100 ## $a20200916d2019 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay m 000yy
106 ## $ar
200 1# $aComputing the intersection of two quadrics through projection and lifting$fAlexandre Emanuel Batista da Silva Trocado$gorient. Laureano Gonzalez-Vega, João Jorge Ribeiro Soares Gonçalves de Araújo
210 #9 $a[S.l.$cs.n.],$d2019
215 ## $aXV, 92 p.$cil.$d30 cm
328 #1 $aTese dout. Algebra Computacional, Univ. Aberta, 2019
675 ## $a004.4(043)$vBN$zpor$3787169
675 ## $a512(043)$vBN$zpor$3297302
700 #1 $aTrocado,$bAlexandre Emanuel Batista da Silva$31790333
702 #1 $aGonzalez-Vega,$bLaureano$4727$31790334
702 #1 $aAraújo,$bJoão Jorge Ribeiro Soares Gonçalves de$4727$31172101
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 56519 V.$x1

Etiqueta de registo: 00582cam 2200181 450
001 1231923
003 http://id.bnportugal.gov.pt/bib/catbnp/1231923
100 ## $a20040211d1999 k y0pory0103 ba
101 0# $aeng
102 ## $aUS
105 ## $ay z 001yy
106 ## $ar
200 1# $aAspects of endomorphism monoids of independence algebras$bTexto policopiado]$fJoão Jorge Ribeiro Soares Gonçalves de Araújo
210 #9 $a[S.l.$cs.n],$d1999
215 ## $a150 f.$d30 cm
320 ## $aBibliografia, p. 148-150
328 ## $aTese dout. Filosofia, Univ. of York, 1999
675 ## $a512.5(043.2)$vBN$zpor$3337100
700 #1 $aAraújo,$bJoão Jorge Ribeiro Soares Gonçalves de$31172101
966 ## $lBN$mFGMON$sS.A. 105948 V.$x3

Etiqueta de registo: 00000nam 2200025 450
001 2120509
003 http://id.bnportugal.gov.pt/bib/catbnp/2120509
100 ## $a20230112d2022 k y0pory01030103ba
101 0# $aporeng $deng
102 ## $aPT
105 ## $ay m 000yy
106 ## $ar
200 1# $aBibliotecas de axiomáticas$econceitos e resultados para sistemas algébricos$fJoão Jorge da Costa Vieira Ramires$gorient. João Jorge Ribeiro Soares Gonçalves de Araújo, David Martins de Matos
210 #9 $a[S.l.$cs.n.],$d2022
215 ## $a2 v.$d30 cm
328 #1 $aTese dout. Álgebra Computacional, Univ. Aberta, 2022
675 ## $a512.53(043)$vBN$zpor$31304486
675 ## $a004.42(043)$vBN$zpor$3793077
700 #1 $aRamires,$bJoão Jorge da Costa Vieira$31869153
702 #1 $aAraújo,$bJoão Jorge Ribeiro Soares Gonçalves de$4727$31172101
702 #1 $aMatos,$bDavid Manuel Martins de$4727$3188423
801 #0 $aPT$bBN$gRPC
966 ## $b001$dV. 1$lBN$mFGMON$sS.A. 183984 V.$x1
966 ## $b001$dV. 2$lBN$mFGMON$sS.A. 183985 V.$x1
971 ## $cmsebas$d20230112
972 ## $e0$z0$d20230427$viquintas
973 ## $cigoulao$d20230410

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