1. RUN

Percorrer por autor Trindade, André Duarte Teixeira

Í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 resultados 1-1 de 1.
DataTítuloAutor(es)TipoAcesso
Fev-2021A Mechanized Proof of Kleene’s Theorem in Why3Trindade, André Duarte TeixeiramasterThesisopenAccess
Mostrar resultados 1-1 de 1.