01007nam a2200241 i 450099100064891970753620020507171743.0970313m19951996it m ||| | ita b10737893-39ule_instLE01300157ExLDip.to MatematicaengAMS 05C05Minerva, Carmen Lucia534502"Alberi di confutazione e teorema di compattezza". Tesi di laurea /laureanda Carmen Lucia Minerva ; relat. Ruggero FerroLecce :Università degli studi. Facoltà di Scienze. Corso di laurea in Matematica,a.a. 1995-96TreesFerro, Ruggero.b1073789314-10-1528-06-02991000648919707536LE013 TES 1995/96 MIN112013000081274le013-E0.00-l- 00000.i1082834528-06-02"Alberi di confutazione e teorema di compattezza". Tesi di laurea911052UNISALENTOle01301-01-97ma -itait 0101319nam 2200361 450 99628011650331620230814224751.01-5386-7831-4(CKB)4100000007005824(WaSeSS)IndRDA00121535(EXLCZ)99410000000700582420200406d2018 uy 0engur|||||||||||txtrdacontentcrdamediacrrdacarrier2018 3rd IEEE International Conference on Intelligent Transportation Engineering 3-5 September 2018, Singapore /Institute of Electrical and Electronics EngineersPiscataway, New Jersey :Institute of Electrical and Electronics Engineers,2018.1 online resource (104 pages)1-5386-7832-2 Transportation engineeringCongressesIntelligent transportation systemsCongressesTransportation engineeringIntelligent transportation systems629.04Institute of Electrical and Electronics Engineers,WaSeSSWaSeSSPROCEEDING9962801165033162018 3rd IEEE International Conference on Intelligent Transportation Engineering2539675UNISA