LEADER 01000nam0-2200349---450-
001 990000996400403321
005 20091130144853.0
010   $a0-7204-0499-1
035   $a000099640
035   $aFED01000099640
035   $a(Aleph)000099640FED01
035   $a000099640
100   $a20001205d1978----km-y0itay50------ba
101 0 $aeng
102   $aNL
105   $aY-------001yy
200 1 $aAutomated theorem proving$ea logical basis$fDonald W. Loveland
210   $aAmsterdam [etc.]$cNorth-Holland$d1978
215   $axii, 405 p.$cill.$d23 cm
225 1 $aFundamental studies in computer science$v6
610 0 $aCibernetica
610 0 $aTeoria dei giochi
610 0 $aTeoria degli automi
610 0 $aIntelligenza artificiale
700  1$aLoveland,$bDonald W.$047020
801  0$aIT$bUNINA$gRICA$2UNIMARC
901   $aBK
912   $a990000996400403321
952   $a8-128.005$b10710$fFI1
959   $aFI1
996   $aAutomated theorem proving$9354141
997   $aUNINA

LEADER 01484oam  2200445   450 
001 9910703749603321
005 20150731083501.0
035   $a(CKB)5470000002434225
035   $a(OCoLC)852774710$z(OCoLC)855510011
035   $a(EXLCZ)995470000002434225
100   $a20130713d2009      ua             0
101 0 $aeng
135   $aur|||||||||||
181   $ctxt$2rdacontent
182   $cc$2rdamedia
183   $acr$2rdacarrier
200 14$aThe battle of An-Najaf /$fby Francis X. Kozlowski
210  1$aWashington, DC :$cUnited States Marine Corps History Division,$d2009.
215   $a1 online resource (47 pages) $ccolor illustrations, color maps
300   $aTitle from title screen (viewed July 31, 2015).
300   $a"PCN 10600000600."
320   $aIncludes bibliographical references (pages 44-47).
517 1 $aU.S. Marines in battle, An-Najaf, August 2004
517 3 $aBattle of Najaf
606   $aNajaf, Battle of, Najaf, Iraq, 2004
606   $aIraq War, 2003-2011$xCampaigns$zIraq$zNajaf
615  0$aNajaf, Battle of, Najaf, Iraq, 2004.
615  0$aIraq War, 2003-2011$xCampaigns
700   $aKozlowski$b Francis Xavier$01420967
712 02$aMarine Corps University (U.S.).$bHistory Division,
801  0$bOCLCE
801  1$bOCLCE
801  2$bOCLCO
801  2$bOCLCQ
801  2$bOCLCF
801  2$bGPO
906   $aBOOK
912   $a9910703749603321
996   $aThe battle of An-Najaf$93540639
997   $aUNINA