| Registos Bibliográficos associados ao registo de autoridade |
|
Etiqueta de registo: 00230nam 2200025 450
001 1732139
003 http://id.bnportugal.gov.pt/bib/catbnp/1732139
100 ## $a20091210d2008 k y0pory0103 ba
101 0# $apor$deng
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aAbordagem algébrica à igualdade observacional$bTexto policopiado]$fAlexandre Leite de Castro Madeira$gorient. Manuel António Gonçalves Martins, Luís António Arsénio Descalço
210 #9 $aAveiro$c[s.n.],$d2008
215 ## $a[12], 165 p.$cil.$d30 cm
215 ## $a1 disco óptico (CD-ROM) em caixa$cil.$d13 x 14 x 1 cm
305 ## $aEd. impressa e em CD-ROM
320 ## $aBibliografia, p. 157-165
328 #0 $bTese mestr.$cMatemática$eDep. de Matemática, Univ. de Aveiro$d2008
675 ## $a512(043)$vBN$zpor$90$3297302
675 ## $a519(043)$vBN$zpor$3476435
700 #1 $aMadeira,$bAlexandre Leite de Castro,$f1980-$31402987
702 #1 $aMartins,$bManuel António Gonçalves$4727$31402981
702 #1 $aDescalço,$bLuís$4727$31402985
712 02 $aUniversidade de Aveiro.$bDepartamento de Matemática$4295$31387313
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sS.A. 44670 P.$x1
966 ## $lBN$mFGMON$sS.A. 129096 V.$x1
Etiqueta de registo: 00230nam 2200025 450
001 1732137
003 http://id.bnportugal.gov.pt/bib/catbnp/1732137
100 ## $a20091210d2008 k y0pory0103 ba
101 0# $apor$deng
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $a O monoide bicíclico$esubsemigrupos e generalizações$fSandra Isabel Diogo Ramos$gorient. Luís António Arsénio Descalço, Manuel António Gonçalves Martins
210 #9 $aAveiro$c[s.n.],$d2008
215 ## $a[10], 110 p.$cil.$d30 cm$eerrata ([1] f.)
215 ## $a1 disco óptico (CD-ROM) em caixa$cil.$d13 x 14 x 1 cm
305 ## $aEd. impressa e em CD-ROM
320 ## $aBibliografia, p. 109-110
328 #1 $aTese mestr. Matemática (Perfil de Ensino), Dep. de Matemática, Univ. de Aveiro, 2008
675 ## $a512(043)$vBN$zpor$90$3297302
700 #1 $aRamos,$bSandra Isabel Diogo,$f1974-$31402994
702 #1 $aDescalço,$bLuís$4727$31402985
702 #1 $aMartins,$bManuel António Gonçalves$4727$31402981
712 02 $aUniversidade de Aveiro.$bDepartamento de Matemática$4295$31387313
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sS.A. 44671 P.$x1
966 ## $lBN$mFGMON$sS.A. 129090 V.$x1
Etiqueta de registo: 00000nam 2200025 450
001 2057064
003 http://id.bnportugal.gov.pt/bib/catbnp/2057064
100 ## $a20201016d2020 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aFundações lógicas e ferramentas computacionais para a biologia sintética$dLogical foundations and computational tools for synthetic biology$fDaniel Oliveira Figueiredo$gorient. Manuel António Gonçalves Martins, Luís Soares Barbosa$zeng
210 #9 $aAveiro$c[s.n.],$d2020
215 ## $a[5] f., VI, 106 p.$cil.$d30 cm
328 #1 $aTese dout. Matemática Aplicada, Dep. Matemática, Univ. Aveiro, 2020
510 1# $aLogical foundations and computational tools for synthetic biology$zeng
675 ## $a519.7/.8(043)$vBN$zpor$31291070
700 #1 $aFigueiredo,$bDaniel Oliveira$31793019
702 #1 $aMartins,$bManuel António Gonçalves$4727$31402981
702 #1 $93$aBarbosa,$bLuís Soares$4727$31464833
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 175501 V.$x1
Etiqueta de registo: 00000nam 2200025 450
001 2057303
003 http://id.bnportugal.gov.pt/bib/catbnp/2057303
100 ## $a20201019d2018 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aLógica híbridas com paraconsistência$dHybrid logics with paraconsistency$fDiana Filipa de Pinho Costa$gorient. Manuel António Gonçalves Martins$zeng
210 #9 $aAveiro$c[s.n.],$d2018
215 ## $a[5], II, 159 p.$cil.$d30 cm
328 #1 $aTese dout. Matemática Aplicada, Universidade de Aveiro, 2018
510 1# $aHybrid logics with paraconsistency$zeng
675 ## $a519.6(043)$vBN$zpor$31220290
700 #1 $aCosta,$bDiana Filipa de Pinho$31793280
702 #1 $aMartins,$bManuel António Gonçalves$4727$31402981
801 #0 $aPT$bBN$gRPC
856 40 $2Cópia digital disponível no RIA - Repositório Institucional da Universidade de Aveiro$uhttp://hdl.handle.net/10773/28287
966 ## $lBN$mFGMON$sS.A. 175459 V.$x1
|
|
|
