LEADER 01506nam 2200421 450 001 9910705623503321 005 20170526105416.0 035 $a(CKB)5470000002452165 035 $a(OCoLC)988091535 035 $a(EXLCZ)995470000002452165 100 $a20170526d2011 ua 0 101 0 $afre 135 $aurcn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 13$aLe re?glement extrajudiciaire des diffe?rends en Afrique $epre?vention des conflits et renforcement de la stabilite? /$fpar Ernest E. Uwazie 210 1$aWashington, DC :$cCentre d'E?tudes Strate?giques de l'Afrique,$d2011. 215 $a1 online resource (6 pages) 225 1 $aBulletin de la se?curite? africaine ;$vno. 16 300 $a"Novembre 2011." 300 $aIn French. 320 $aIncludes bibliographical references (page 8). 517 $aRèglement extrajudiciaire des différends en Afrique 606 $aCourt administration$zAfrica 606 $aDispute resolution (Law)$zAfrica 606 $aMediation$zAfrica 615 0$aCourt administration 615 0$aDispute resolution (Law) 615 0$aMediation 700 $aUwazie$b Ernest E.$f1960-$01408500 712 02$aNational Defense University.$bAfrica Center for Strategic Studies, 801 0$bGPO 801 1$bGPO 906 $aBOOK 912 $a9910705623503321 996 $aLe re?glement extrajudiciaire des diffe?rends en Afrique$93538108 997 $aUNINA LEADER 02035nam0 22004693i 450 001 VAN00283787 005 20241206122632.217 010 $a978-35-402-1202-7 100 $a20241206d2004 |0itac50 ba 101 $aeng 102 $aDE 105 $a|||| ||||| 181 $ai$b e 182 $an 200 1 $aElements of Finite Model Theory$fLeonid Libkin 210 $aBerlin$aHeidelberg$cSpringer$d2004 215 $axiv, 318 p.$cill.$d24 cm 410 1$1001VAN00053699$12001 $aTexts in theoretical computer science. An EATCS Series$1210 $aBerlin [etc.]$cSpringer$d1996- 606 $a03-XX$xMathematical logic and foundations [MSC 2020]$3VANC019750$2MF 606 $a03C13$xModel theory of finite structures [MSC 2020]$3VANC024491$2MF 606 $a68-XX$xComputer science [MSC 2020]$3VANC019670$2MF 606 $a68Q15$xComplexity classes (hierarchies, relations among complexity classes, etc.) [MSC 2020]$3VANC028792$2MF 606 $a68Q19$xDescriptive complexity and finite models [MSC 2020]$3VANC038080$2MF 610 $aAlgorithm analysis and problem complexity$9KW:K 610 $aAutomata$9KW:K 610 $aComplexity$9KW:K 610 $aComplexity theory$9KW:K 610 $aFormal language$9KW:K 610 $aLogic$9KW:K 610 $aModel theory$9KW:K 610 $aVariable$9KW:K 620 $dBerlin$3VANL000066 620 $aDE$dHeidelberg$3VANL000282 700 1$aLibkin$bLeonid$3VANV237384$01394201 712 $aSpringer $3VANV108073$4650 801 $aIT$bSOL$c20250221$gRICA 856 4 $u/sebina/repository/catalogazione/documenti/Elements of finite model theory.pdf$zElements of finite model theory.pdf 899 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$1IT-CE0120$2VAN08 912 $aVAN00283787 950 $aBIBLIOTECA DEL DIPARTIMENTO DI MATEMATICA E FISICA$d08PREST 03-XX 2427 $e08DMF1031 I 20241206 996 $aElements of Finite Model Theory$94299914 997 $aUNICAMPANIA