LEADER 01138nam a2200253 i 4500
001 991001802309707536
008 120910s2011    it a     b    001 0 ita d
035   $ab14072932-39ule_inst
040   $aDip.to Matematica e Fisica$beng
084   $aAMS 05D10
084   $aAMS 68Q25
084   $aAMS 68W01
100 1 $aDanieli, Marco$0215968
245 10$aCome calcolare i numeri di Ramsey risolvendo un problema di soddisfacibilità. Tesi di laurea triennale /$claureando Marco Danieli ; relatore Vittorio Bilò
260   $aLecce :$bUniversità del Salento. Facoltà di Scienze MM. FF. NN. Corso di Laurea in Matematica e Informatica,$ca.a. 2011-12
300   $a23 p. ;$c30 cm
650  4$aRamsey theory
700 1 $aBilò, Vittorio
907   $a.b14072932$b02-04-14$c10-09-12
912   $a991001802309707536
945   $aLE013 TES 2011/12 DAN1$g1$i2013000215860$lle013$og$pE15.00$q-$rn$so  $t1$u0$v0$w0$x0$y.i15440266$z10-09-12
996   $aCome calcolare i numeri di Ramsey risolvendo un problema di soddisfacibilità. Tesi di laurea triennale$9240280
997   $aUNISALENTO
998   $ale013$b06-09-12$cm$da  $e-$fita$git $h0$i0