01187nam 2200397 450 991015507990332120230808200844.01-84832-393-X1-84832-392-1(CKB)3710000000973344(MiAaPQ)EBC4770587(EXLCZ)99371000000097334420170104h20162016 uy 0engurcnu||||||||rdacontentrdamediardacarrierOperation menace the Dakar expedition and the Dudley North affair /Arthur Jacob Marder ; introduction by Barry GoughAnnapolis, [Maryland] :Naval Institute Press :Seaforth Publishing,2016.©20161 online resource (337 pages)Includes index.1-84832-390-5 World War, 1939-1945CampaignsWorld War, 1939-1945Campaigns.940.541Marder Arthur Jacob287331Gough BarryMiAaPQMiAaPQMiAaPQBOOK9910155079903321Operation menace2894818UNINA02455nam0 22004933i 450 AQ1000783520251003044041.00387582770New York3540582770Berlin20110927d1994 ||||0itac50 baengdez01i xxxe z01nComputer science logic7. workshop, CSL '93Swansea, United Kingdom, September 13-17, 1993selected papersEgon Borger, Yuri Gurevich, Karl Meinke (eds.)Berlin [etc.]Springer1994VIII, 336 p.24 cmLecture notes in computer scienceedited by G. Goos and J. Hartmanis832001MIL00307032001 Lecture notes in computer scienceedited by G. Goos and J. Hartmanis832702 1Goos, GerhardAQ1V006441340InformaticaCongressi1993FIRNAPC242167ILogica matematicaCongressi1993FIRCFIC076346I004ELABORAZIONE DEI DATI. SCIENZA DEGLI ELABORATORI. INFORMATICA14004.015113Elaborazione dei dati, Scienza degli elaboratori, Informatica. Principi matematici. Logica matematica (Logica simbolica)22ConvegniCongressi e convegniScienza degli elaboratoriConvegniCongressi e convegniLogica simbolicaLogica matematica <Logica simbolica>CongressiConvegniCongressiCongressi e convegniInformaticaScienza degli elaboratoriCongressiConvegniCongressiCongressi e convegniLogica matematicaLogica simbolicaLogica matematicaLogica matematica <Logica simbolica>Gurevich, YuriAQ1V004176340Meinke, KarlAQ1V004177340Börger, EgonCFIV068138340Workshop on computer science logic <7. ; 1993 ; Swansea>NAPV119019070714648Workshop CSL '93 <7. ; 1993 ; Swansea>NAPV119020Workshop on computer science logic <7. ; 1993 ; Swansea>ITIT-00000020110927IT-BN0095 AQ10007835Biblioteca Centralizzata di Ateneo193 v. 01COLL. ING. LNCS 0102 0000022495 VMA FD832 v. 832Y 1996021920110927 01Computer science logic1381987UNISANNIO