Oi Alexandre.
Eu tenho diversos resultados de projetos de análise de dados industriais de
natureza química, física e mineralógica do cimento. Estamos escrevendo um
artigo e dissertação sobre resultados recentes. Mas já temos dados da
análise de uma única planta
Nota: a análise é feita com
y, March 14, 2024 5:40 PM
To: Lista acadêmica brasileira dos profissionais e estudantes da área de LOGICA
Subject: [Logica-l] lógicas & química
Prezados,
Estou procurando referências sobre uso de métodos formais (lógicas, provas,
axiomatizações etc) na química. Neste momento, meu escopo é
Prezados,
Estou procurando referências sobre uso de métodos formais (lógicas, provas,
axiomatizações etc) na química. Neste momento, meu escopo é bem amplo e
motivado por uma recente conversa na maillings do Isabelle.
https://lists.cam.ac.uk/sympa/arc/cl-isabelle-users/2024-02/msg00036.html