01138nam a2200253 i 4500991001802309707536120910s2011 it a b 001 0 ita db14072932-39ule_instDip.to Matematica e FisicaengAMS 05D10AMS 68Q25AMS 68W01Danieli, Marco215968Come calcolare i numeri di Ramsey risolvendo un problema di soddisfacibilità. Tesi di laurea triennale /laureando Marco Danieli ; relatore Vittorio BilòLecce :Università del Salento. Facoltà di Scienze MM. FF. NN. Corso di Laurea in Matematica e Informatica,a.a. 2011-1223 p. ;30 cmRamsey theoryBilò, Vittorio.b1407293202-04-1410-09-12991001802309707536LE013 TES 2011/12 DAN112013000215860le013gE15.00-no 10000.i1544026610-09-12Come calcolare i numeri di Ramsey risolvendo un problema di soddisfacibilità. Tesi di laurea triennale240280UNISALENTOle01306-09-12ma -itait 00