LEADER 01199nam--2200373---450-
001 990006089160203316
005 20151020172944.0
010   $a978-1-107-06355-6
035   $a000608916
035   $aUSA01000608916
035   $a(ALEPH)000608916USA01
035   $a000608916
100   $a20151020d2014----km-y0itay50------ba
101   $aeng
102   $aGB
105   $a||||||||001yy
200 1 $aContemporary challenges to the laws of war$eessays in honour of Professor Peter Rowe$fedited by Caroline Harvey, James Summers and Nigel D. White
210   $aCambridge$cCambridge University press$d2014
215   $aXXIV, 383 p.$d23 cm
606 0 $aGuerra$xDiritto internazionale$xScritti in onore$2BNCF
676   $a341.6
702  1$aHARVEY,$bCaroline
702  1$aSUMMERS,$bJames
702  1$aWHITE,$bNigel D.
702  1$aROWE,$bPeter
801  0$aIT$bsalbc$gISBD
912   $a990006089160203316
951   $aXXIII.1.M. 596$b83127 G.$cXXIII.1.M.$d379379
959   $aBK
969   $aGIU
979   $aCHIARA$b90$c20151020$lUSA01$h1729
979   $aCHIARA$b90$c20151020$lUSA01$h1729
996   $aContemporary challenges to the laws of war$91382741
997   $aUNISA

LEADER 01052oam  2200289z- 450 
001 996465772503316
005 20080308084212.0
035   $a(CKB)1000000000233849
035   $a(EXLCZ)991000000000233849
100   $a20210330c1992uuuu  -u-            -
101 0 $aeng
200 00$aLogical foundations of computer science--Tver '92 $esecond international symposium, Tver, Russia, July 20-24, 1992 proceedings /$fA. Nerode, M. Taitslin (eds.)
210   $cSpringer Berlin Heidelberg
311   $a3-540-55707-5 
606   $aComputers$xCongresses
606   $aElectronic data processing$xCongresses
606   $aLogic, Symbolic and mathematical$xCongresses
615  0$aComputers$xCongresses.
615  0$aElectronic data processing$xCongresses.
615  0$aLogic, Symbolic and mathematical$xCongresses.
676   $a004
701   $aNerode$b Anil$048991
701   $aTaitslin$b Mikhail A$01220932
906   $aBOOK
912   $a996465772503316
996   $aLogical Foundations of Computer Science ? Tver '92$92830401
997   $aUNISA