Computation and Logic in the Real Worldde Benedikt Löwe, S. Barry Cooper, Andrea SorbiMateriasAlgorithmsComputer scienceBioinformaticsElectronic data processingInformation theoryComputer softwareComputable functionsCongressesComputational intelligence