Etiqueta de registo: 00254nam 2200025 450
001 2139584
003 http://id.bnportugal.gov.pt/bib/catbnp/2139584
100 ## $a20230801d2023 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $ay m 000yy
106 ## $ar
200 1# $aFinite model enumeration$fCoiwah Chow$gorient. João Araújo, Miklás Janota, Gilda Ferreira
210 #9 $aLisboa ;$aCoimbra$c[s.n.],$d2023
215 ## $aXXIV, 274 p.$d30 cm
328 #1 $aTese dout. Computational Algebra, Univ. Aberta, Univ. de Coimbra, 2023
675 ## $a512(043)$vBN$zpor$3297302
700 #0 $aCoiwah,$bChow$31889655
702 #1 $aAraújo,$bJoão,$f1985-$4727$3159191
702 #1 $aJanota,$bMikolás$4727$31889670
702 #1 $aFerreira,$bGilda Maria Saraiva Dias,$f1976-$4727$31340884
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sS.A. 186174 V.$x1
971 ## $cjbeatriz$d20230801
972 ## $e0$z0$d20231017$vasantos
973 ## $cmlsousa$d20230927

Etiqueta de registo: 00000nam 2200025 450
001 2219836
003 http://id.bnportugal.gov.pt/bib/catbnp/2219836
100 ## $a20250710d2025 k y0pory01030103ba
101 0# $aeng$dpor
102 ## $aPT
105 ## $aa m 000yy
106 ## $ar
200 1# $aMENTOR - automated feedback for introductory programming exercises$fPedro Miguel Orvalho Marques da Silva$gorient. Vasco Miguel Gomes Nunes Manquinho, MikoláÏs Janota
210 #9 $aLisboa$c[s.n.],$d2025
215 ## $aXXV, 191 p.$cil.$d30 cm
328 #1 $aTese dout. Computer Science and Engineering, Instituto Superior Técnico, Universidade de Lisboa, 2025
675 ## $a004.42(043)$vBN$zpor$3793077
700 #1 $aSilva,$bPedro Miguel Orvalho Marques da$31960000
702 #1 $aManquinho,$bVasco Miguel Gomes Nunes$4727$3918415
702 #1 $aJanota,$bMikolás$4727$31889670
801 #0 $aPT$bBN$gRPC
966 ## $lBN$mFGMON$sP. 70239 V.$x1
971 ## $corlando$d20250710
973 ## $cigoulao$d20250711