Etiqueta de registo: 00630cam 2200193 450
001 1166954
003 http://id.bnportugal.gov.pt/bib/catbnp/1166954
100 ## $a20030827d2002 k y0pory0103 ba
101 0# $apor
102 ## $aPT
105 ## $aa m 001yy
106 ## $ar
200 1# $aIndecidibilidade em extensões de áÁgebras de Boole$bTexto policopiado]$fNuno Miguel dos Santos Baeta
210 #9 $aCovilhã$c[s.n.],$d2002
215 ## $aVI, 95 p.$cil.$d30 cm
320 ## $aBibliografia, p. 89-90
328 ## $aTrab. síntese, provas de ap. pedagógica e cap. científica (Matemática), Univ. da Beira Interior, 2002
675 ## $a512(079)$vBN$zpor$31170290
675 ## $a378.2$vBN$zpor$3290332
700 #1 $aBaeta,$bNuno Miguel dos Santos$31159359
966 ## $lBN$mFGMON$sS.A. 105630 V.$x1

Etiqueta de registo: 00254nam 2200025 450
001 2162592
003 http://id.bnportugal.gov.pt/bib/catbnp/2162592
100 ## $a20240401d2023 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aWorking environment for automated deduction in geometry$fNuno Miguel dos Santos Baeta$gorient. Pedro Henrique e Figueiredo Quaresma de Almeida
210 #9 $aCoimbra$c[s.n.],$d2023
215 ## $a[10], 64 p.$cil.$d30 cm
328 #1 $aTese dout. Álgebra Computacional, Faculdade de Ciências e Tecnologia, Universidade de Coimbra, 2023
675 ## $a514.75(043)$vBN$zpor$31290420
700 #1 $aBaeta,$bNuno Miguel dos Santos$31159359
702 #1 $aAlmeida,$bPedro Quaresma de$4727$3236117
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 187966 V.$x1
971 ## $cssilva$d20240401
972 ## $e0$z0$d20240517$viquintas
973 ## $cigoulao$d20240508