The nature of computation logic, algorithms, applications : 9th Conference on Computability in Europe, CiE 2013, Milan, Italy, July 1-5, 2013, proceedings /

Corporate Authors: Conference on Computability in Europe Milan, Italy); SpringerLink (Online service)
Group Author: Bonizzoni, Paola.; Brattka, Vasco, 1966-; Löwe, Benedikt.
Published: