Utilize este identificador para referenciar este registo: https://hdl.handle.net/10316/101631
Título: Proceedings of the Second International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements
Outros títulos: Intelligent geometry tools
Autor: Davenport, James
Fleuriot, Jacques
Quaresma, Pedro 
Recio, Tomás
Wang, Dongming
Data: 2019
Título da revista, periódico, livro ou evento: Electronic Proceedings in Theoretical Computer Science, EPTCS
Volume: 311
URI: https://hdl.handle.net/10316/101631
ISSN: 2075-2180
DOI: 10.4204/EPTCS.311.8
Direitos: openAccess
Aparece nas coleções:FCTUC Matemática - Vários

Ficheiros deste registo:
Ficheiro Descrição TamanhoFormato
EPTCS 311_ Automated Reasoning_ Challen...ns, Directions, Exemplary Achievements.pdf611.83 kBAdobe PDFVer/Abrir
Mostrar registo em formato completo

Visualizações de página

88
Visto em 17/jul/2024

Downloads

92
Visto em 17/jul/2024

Google ScholarTM

Verificar

Altmetric

Altmetric


Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.