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