The nature of computation. Logic, algorithms, applications. 9th conference on computability in Europe, CiE 2013, Milan, Italy, July 1--5, 2013. Proceedings

From MaRDI portal
Publication:1953281