Programs, proofs, processes : abstract and handout booklet [of the] 6th Conference on Computability in Europe, CiE 2010 / ed. Fernando Ferreira...[et al.]

Autor secundário: Ferreira , FernandoLíngua: Inglês.País: Portugal.Publicação: Ponta Delgada : University of Azores. Department of Mathematics. Centre for Applied Mathematics and Information Technology, 2010Descrição: XIV, 428 p.Assunto : Ciência de computadores -- Congressos, Conferências, etc. // Complexidade computacional -- Congressos, conferências, etc. // Funções computacionais -- Congressos, Conferências, etc.CDU: 004:519.67(063)