LEADER 01081nam a2200277 i 4500 001 991000516509707536 005 20020503182452.0 008 950601s1990 it ||| | ita 020 $a8815027378 035 $ab10089111-39ule_inst 035 $aLE02517490$9ExL 040 $aFac. Economia$bita 082 0 $a340.03 100 1 $aMazzacane, Aldo$0148671 245 10$aEnciclopedia e sapere scientifico :$bil diritto e le scienze sociali nell'Enciclopedia giuridica italiana /$ca cura di Aldo Mazzacane e Pierangelo Schiera 260 $aBologna :$bIl Mulino,$cc1990 300 $a483 p. ;$c22 cm. 490 0 $aAnnali dell'Istituto storico italo-germanico ;$v29 650 4$aEnciclopedia giuridica italiana 700 1 $aSchiera, Pierangelo 907 $a.b10089111$b17-02-17$c27-06-02 912 $a991000516509707536 945 $aLE025 ECO 340 MAZ01.01$g1$i2025000015890$lle025$o-$pE0.00$q-$rl$s- $t0$u1$v0$w1$x0$y.i10103326$z27-06-02 996 $aEnciclopedia e sapere scientifico$9195943 997 $aUNISALENTO 998 $ale025$b01-01-95$cm$da $e-$fita$git $h0$i1 LEADER 01007nam a2200241 i 4500 001 991000648919707536 005 20020507171743.0 008 970313m19951996it m ||| | ita 035 $ab10737893-39ule_inst 035 $aLE01300157$9ExL 040 $aDip.to Matematica$beng 084 $aAMS 05C05 100 1 $aMinerva, Carmen Lucia$0534502 245 10$a"Alberi di confutazione e teorema di compattezza". Tesi di laurea /$claureanda Carmen Lucia Minerva ; relat. Ruggero Ferro 260 $aLecce :$bUniversità degli studi. Facoltà di Scienze. Corso di laurea in Matematica,$ca.a. 1995-96 650 0$aTrees 700 1 $aFerro, Ruggero 907 $a.b10737893$b14-10-15$c28-06-02 912 $a991000648919707536 945 $aLE013 TES 1995/96 MIN1$g1$i2013000081274$lle013$o-$pE0.00$q-$rl$s- $t0$u0$v0$w0$x0$y.i10828345$z28-06-02 996 $a"Alberi di confutazione e teorema di compattezza". Tesi di laurea$9911052 997 $aUNISALENTO 998 $ale013$b01-01-97$cm$da $e-$fita$git $h0$i1 LEADER 01478nam 2200361 450 001 9910325656903321 005 20230817193521.0 010 $a1-5386-8040-8 035 $a(CKB)4100000008337692 035 $a(WaSeSS)IndRDA00123017 035 $a(EXLCZ)994100000008337692 100 $a20200516d2019 uy 0 101 0 $aeng 135 $aur||||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$a2019 20th International Conference on Thermal, Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Microsystems $e24-27 March 2019, Hannover, Germany /$fInstitute of Electrical and Electronics Engineers 210 1$aPiscataway, New Jersey :$cInstitute of Electrical and Electronics Engineers,$d2019. 215 $a1 online resource (78 pages) 311 $a1-5386-8041-6 606 $aMicroelectronics$xSimulation methods$vCongresses 606 $aSystems engineering$xSimulation methods$vCongresses 615 0$aMicroelectronics$xSimulation methods 615 0$aSystems engineering$xSimulation methods 676 $a621.381011 712 02$aInstitute of Electrical and Electronics Engineers, 801 0$bWaSeSS 801 1$bWaSeSS 906 $aPROCEEDING 912 $a9910325656903321 996 $a2019 20th International Conference on Thermal, Mechanical and Multi-Physics Simulation and Experiments in Microelectronics and Microsystems$92546304 997 $aUNINA