Percorrer por autor Matthes, Ralph Subscrever estatísticas do autor Matthes, Ralph

Índice: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

ou inserir as letras iniciais:  

Mostrar 7-7 de um total de 7 resultados. < anterior 
DataTítuloAutor(es)TipoAcesso
2013Monadic translation of classical sequent calculusEspírito Santo, José; Matthes, Ralph; Nakazawa, Koji, et al.ArtigoAcesso aberto
Mostrar 7-7 de um total de 7 resultados. < anterior