Etiqueta de registo: 00230nam 2200025 450
001 1740748
003 http://id.bnportugal.gov.pt/bib/catbnp/1740748
100 ## $a20100319d2008 k y0pory0103 ba
101 0# $apor
102 ## $aPT
105 ## $ay m 001yy
106 ## $ar
200 1# $aComputabilidade e complexidade$bTexto policopiado]$fKeinhard Josef Klaus Kahle
210 #9 $a[S.l.$cs.n.],$d2008
215 ## $a18 p.$d30 cm$esumário ([1 f.])$ecurricumlum vitae (21 f.)
215 ## $a1disco óptico (CD-ROM) em caixa$d13 x 14 x 1cm
230 ## $aContém bibliografia
300 ## $aProvas para obtenção do título em Matemática, nos termos do Decreto-Lei nº 239/2007
305 ## $aEdição impressa e em CD-ROM
305 ## $aEd. impressa em CD-ROM
675 ## $a519.6(079)(0.034)$vBN$zpor$31416905
675 ## $a378.2(469)$vBN$zpor$3512703
700 #1 $aKahle,$bReinhard,$f1967-$31355722
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sS.A. 45464 P.$x1
966 ## $lBN$mFGMON$sS.A. 130856 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1728251
003 http://id.bnportugal.gov.pt/bib/catbnp/1728251
010 ## $a978-972-8564-44-5
021 ## $aPT$b266577/07
100 ## $a20001027d2007 k y0pory0103 ba
101 0# $aeng
102 ## $aPT
105 ## $ay j 000yy
106 ## $ar
200 1# $a The applicative realm$fReinhard Kahle
210 #9 $aCoimbra$cDepartamento de Matemática da Universidade,$d2007
215 ## $a175, [4] p.$d24 cm
225 2# $aTextos de matemática$v40
320 ## $aBibliografia, p. 153-175
606 ## $aMatemática$j[Manuais de ensino superior]$2SIPOR$31046755
675 ## $a51(075.8)$vBN$zpor$3381352
700 #1 $aKahle,$bReinhard,$f1967-$31355722
801 #0 $aPT$bBN$gRPC
900 ## $aBIBNAC$d20091125
966 ## $lBN$mFGMON$sS.A. 128522 V.$x1
966 ## $lBN$mFGMON$sS.A. 128522 V.-D$x1

Etiqueta de registo: 00230nam 2200025 450
001 1702618
003 http://id.bnportugal.gov.pt/bib/catbnp/1702618
100 ## $a20090213d2006 k y0pory0103 ba
101 0# $aeng
102 ## $aPT
105 ## $ay m 001yy
106 ## $ar
200 1# $a A comparative study of disjunctive well-founded semantics$bTexto policopiado]$fMatthias Knorr$gorient. Reinhard Kahle, Steffen Hölldobler
210 #9 $aLisboa$c[s.n.],$d2006
215 ## $a[2], 84 p.$d30 cm
215 ## $a1 disco óptico (CD-ROM)$cil.$d13 x 14 x 1 cm
315 ## $aEd. impressa e em CD-ROM
320 ## $aBibliografia, p. 81-84
328 #0 $bTese mestr.$cLógica Computacional$eDepart. Informática, Fac. de Ciências e Tecnologia, Univ. Nova de Lisboa, Fakultät Informatik, Technishe Universität Dresden$d2006
675 ## $a519.76(043)$vBN$zpor$31237623
700 #1 $aKnorr,$bMatthias$31362887
702 #1 $aKahle,$bReinhard,$f1967-$4727$31355722
702 #1 $aHölldobler,$bSteffen$4727$31362888
712 02 $aUniversidade Nova de Lisboa.$bFaculdade de Ciências e Tecnologia.$bDepartamento de Informática$4295$31213513
712 02 $aTechnishe Universität Dresden.$bFakultät Informatik$4295$31363826
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sS.A. 43022 P.$x1
966 ## $lBN$mFGMON$sS.A. 124472 V.$x1

Etiqueta de registo: 00230nam 2200025 450
001 1698071
003 http://id.bnportugal.gov.pt/bib/catbnp/1698071
010 ## $a978-972-8564-42-1
021 ## $aPT$b248692/06
100 ## $a20081217d2006 k y0pory01030103ba
101 0# $aeng
102 ## $aPT
105 ## $ay z 100yy
106 ## $ar
200 1# $aProof interpretations$gFernando Ferreira.$cOrdinals, computations, and models of set theory$gPeter Koepke$etwo tutorials$fMeeting "Days in Logic '06"$ged. Reinhard Kahle, Isabel Oitavem
210 #9 $aCoimbra$cDepartamento de Matemática da Universidade de Coimbra,$d2006
215 ## $aV, 78, [3] p.$d24 cm
225 2# $aTextos de matemática$v38
675 ## $a510.6(042)$vBN$zpor$31684957
701 #1 $aKoepke,$bPeter$4070$31355718
701 #1 $aFerreira,$bFernando,$f1958-$4070$3812316
702 #1 $aKahle,$bReinhard,$f1967-$4340$31355722
702 #1 $aRocha,$bIsabel Maria Oitavem Fonseca da$4340$31024260
710 12 $aMeeting "Days in Logic '06",$d2,$eCoimbra,$f2006$31684368
801 #0 $aPT$bBN$gRPC
856 41 $uhttp://rnod.bnportugal.gov.pt/ImagesBN/winlibimg.aspx?skey=&doc=1698071&img=97084&save=true
900 ## $aBIBNAC$d20170818
966 ## $lBN$mFGMON$sS.A. 166193 V.$x1
966 ## $lBN$mFGMON$sS.A. 166193 V.-D$x1

Etiqueta de registo: 00254nam 2200025 450
001 2160729
003 http://id.bnportugal.gov.pt/bib/catbnp/2160729
100 ## $a20240312d2023 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aOn notions of provability$fPaulo Guilherme Domingos Canha Moreira dos Santos$gadvisers Isabel Maria Oitavem Fonseca de Rocha Kahle, Reinhard Josef Klaus Kahle
210 #9 $aLisbon$c[s.n.],$d2023
215 ## $aXVI, 147 p.$cil.$d30 cm
328 #1 $aTese dout. Mathematics and Computer Science, Univ. of Lisbon, Univ. of Tübingen, 2023
675 ## $a511(043)$vBN$zpor$3337085
700 #1 $aSantos,$bPaulo Guilherme Domingos Canha Moreira dos$31909984
702 #1 $aKahle,$bIsabel Maria Oitavem Fonseca de Rocha$4727$31909985
702 #1 $aKahle,$bReinhard,$f1967-$4727$31355722
801 #0 $aPT$bBN$gRPC
856 40 $2Cópia digital disponível no Repositório Universidade Nova de Lisboa$uhttp://hdl.handle.net/10362/156983
966 ## $lBN$mFGMON$sS.A. 187754 V.$x1
971 ## $casantos$d20240312
972 ## $e0$z0$d20240513$vmsebas
973 ## $cigoulao$d20240418
975 ## $e0$d20240619$viraminhos