Becas para doctorado
Entre en contacto, si interesado en
Algorítmica, Formalización Matemática y
Computacional, Prova de Teoremas, Deducción
automática, Ética em AI, Algoritmos genéticos
y Evolutivos, y Procesamiento de Información Genómica.
RTA (1983 ... 2015) and TLCA (1993 ... 2015) evolved to
Int. Conf. on Formal Structures for Computation and Deduction
FSCD in 2016. FSCD
2023, Rome, Italy.
Int. Logical and Semantic Frameworks, with Applications LSFA 2023, affiliated
to FSCD 2023, Rome, Italy.
International Conference on Interactive Theorem Proving ITP web page. ITP
2023, Bialystok, Poland.
16th Conference on Intelligent Computer Mathematics CICM 2023, Cambridge, UK.
12th International Workshop on Confluence IWC 2023,
Obergurgl, Austria.
37th International Workshop on Unification UNIF 2023,
affiliated to FSCD 2023, Rome, Italy.
Current Conferences at
GTC/UnB
Conferencias en curso en el
GTC/UnB
|
|
M. Ayala-Rincón & Flávio
L.C. de Moura, Fundamentos
da Programação Lógica e Funcional - O Princípio
de Resolução e a Teoria de Reescrita -, Notas de
Aula, Editora UnB, Diciembre 2014. En portugués.
M. Ayala-Rincón & Flávio
L.C. de Moura, Applied
Logic for Computer Scientists:
Computational Deduction and Formal Proofs, Springer, 2017.
|