1815-1864 1916-2001 algorithmanalysisandproblemcomplexity algorithms arithmeticandlogicstructures artificialintelligence automatictheoremproving biography boole claudeelwood compilers computationallinguistics computerarithmeticandlogicunits computercommunicationnetworks computermathematics computernetworks computerprogramming computers computerscience congresses declarativeprogramming discretemathematicsincomputerscience electricalengineers electronicdataprocessing george greatbritain historyofcomputing ibmcomputers informationorganization informationretrieval informationstorageandretrieval interpreters logic logiccircuits logicdesign logicians logicprogramming logicprogramming(computerscience) logicsandmeaningsofprograms managementinformationsystems managementofcomputingandinformationsystems mathapplicationsincomputerscience mathematicalapplicationsincomputerscience mathematics memorymanagement(computerscience) monoclonalantibodies parallelprocessing(electroniccomputers) programming programminglanguages programminglanguages(electroniccomputers) programmingtechniques qa28n342013 semantics shannon softwareengineering symbolicandmathematical unitedstates