Etiqueta de registo: 00230nam 2200025 450
001 1811145
003 http://id.bnportugal.gov.pt/bib/catbnp/1811145
100 ## $a20120508d2011 k y0pory0103 ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aCombining open and closed world reasoning for the semantic web$fMathias Knorr$gorient. José Júlio Alves Alferes, Pascal Hitzler
210 #9 $aLisboa$c[s.n.],$d2011
215 ## $aXIV, 229 p.$cil.$d30 cm
215 ## $a1 disco óptico (CD-ROM) em caixa$d13 x 15 x 1 cm
305 ## $aEd. impressa e em CD-ROM
320 ## $aBibliografia p. 211-229
328 #1 $aTese dout. Informática, Fac. Ciências e Tecnologia, Univ. Nova de Lisboa, 2011
675 ## $a004.73(043)$vBN$zpor$3813506
675 ## $a004.42(043)$vBN$zpor$3793077
675 ## $a004.43(043)$vBN$zpor$31253292
700 #1 $aKnorr,$bMatthias$31362887
702 #1 $aAlferes,$bJosé Júlio Alves,$f1966-$4727$3112556
702 #1 $aHitzler,$bPascal$4727$31498182
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mDEM$sP. 19390 P.$x1
966 ## $lBN$mFGMON$sP. 34411 V.$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