- Início
- Acontecimentos
- Sixth Workshop on Proof eXchange for Theorem Proving, PxTP 2019, Natal, Brazil, August 26, 2019
Acontecimento
Sixth Workshop on Proof eXchange for Theorem Proving, PxTP 2019, Natal, Brazil, August 26, 2019
Dados
- Data
- 26 de agosto de 2019
- Dia
- 26 de agosto
- Local
- Natal
Fontes: Wikidata (CC0) · Wikidata Q106245670