LEADER 01581nam2-2200421li-450 001 990000206330203316 005 20180312154902.0 010 $a3-540-61254-8 035 $a0020633 035 $aUSA010020633 035 $a(ALEPH)000020633USA01 035 $a0020633 100 $a20001109d1996----km-y0itay0103----ba 101 0 $aeng 102 $aGW 200 1 $aHigher-order algebra, logic, and term rewriting$esecond International workshop, HOA'95 Paderborn, Germany, September 21-22, 1995$eselected papers$fGilles Dowek [et al.] (eds.) 210 $aBerlin [etc.]$cSpringer-Verlag$dcopyr. 1996 215 $a287 p.$cill.$d24 cm 225 2 $aLecture notes in computer science$v1074 410 0$10010020264$12001$aLecture notes in computer science 610 1 $acongressi$apaderborn$a1995 610 1 $aelaborazione elettronica$amodelli matematici$acongressi$a1995 610 1 $agrafica con gli elaboratori$acongressi$a1995 676 $a0066$9Grafica con gli eleboratori 702 1$aDowek,$bGilles 710 12$aInternational workshop HOA'95$d2.$ePaderborn$f1995$0754753 801 $aSistema bibliotecario di Ateneo dell' Università di Salerno$gRICA 912 $a990000206330203316 951 $a001 LNCS (1074)$b0019226$c001$d00103859 959 $aBK 969 $aSCI 979 $c19961203 979 $c20001110$lUSA01$h1714 979 $aALANDI$b90$c20010201$lUSA01$h1105 979 $c20020403$lUSA01$h1628 979 $aPATRY$b90$c20040406$lUSA01$h1615 996 $aHigher-order algebra, logic, and term rewriting$91518959 997 $aUNISA LEADER 01481oam 2200409 a 450 001 9910697711603321 005 20131108143704.0 035 $a(CKB)5470000002391861 035 $a(OCoLC)275130966 035 $a(EXLCZ)995470000002391861 100 $a20081120d2008 ua 0 101 0 $aeng 135 $aurcn||||||||| 181 $ctxt$2rdacontent 182 $cc$2rdamedia 183 $acr$2rdacarrier 200 10$aLessons of Abu Ghraib$b[electronic resource] $eunderstanding and preventing prisoner abuse in military operations /$fby Paul T. Bartone 210 1$a[Washington, D.C.] :$cCenter for Technology and National Security Police, National Defense University,$d[2008] 215 $a8 pages $cdigital, PDF file 225 1 $aDefense horizons ;$vno. 64 300 $aTitle from title screen (viewed on Nov. 20, 2008). 300 $a"November 2008." 320 $aIncludes bibliographical references (pages 7-8). 517 $aLessons of Abu Ghraib 606 $aPrisoners of war$xAbuse of$xPrevention 606 $aWar crimes$xPrevention 615 0$aPrisoners of war$xAbuse of$xPrevention. 615 0$aWar crimes$xPrevention. 700 $aBartone$b Paul T.$f1952-$01394194 712 02$aNational Defense University.$bCenter for Technology and National Security Policy. 801 0$bGPO 801 1$bGPO 801 2$bGPO 906 $aBOOK 912 $a9910697711603321 996 $aLessons of Abu Ghraib$93508093 997 $aUNINA