Re: [Logica-l] Impact Factor 2015

Oi Adolfo. Obrigado pela notícia. []s Marcelo PS: João, nestes casos, um pouco de redundância é até bom. 2016-06-14 16:32 GMT-03:00 Adolfo Neto : > Saiu o Impact Factor 2015. > Aparentemente Logical Methods for Computer Science cresceu bastante. > Na área de Lógica é

Re: [Logica-l] Sobre os meetings: Brasil/Espanha (2015) e Brasil/Itália (2016)

Olá Samuel, Bem legal a iniciativa de filmar as palestras e disponibilizar no github... Obrigado. Sent from my iPad > On 14 de jun de 2016, at 09:29, 'Samuel Gomes' via LOGICA-L > wrote: > > Caros, > > Escrevo para dar atualizações relativas aos meetings

Re: [Logica-l] Impact Factor 2015

Olá, Adolfo, você se refere a algo parecido com a planilha que se encontra no link que consta desta mensagem que enviei há duas semanas para esta lista? https://groups.google.com/a/dimap.ufrn.br/d/msg/logica-l/vpzTOSA4pyI/BFnI1hO_AQAJ (note que usei o SJR 2014) Abraços, Joao Marcos 2016-06-14

[Logica-l] Impact Factor 2015

Saiu o Impact Factor 2015. Aparentemente Logical Methods for Computer Science cresceu bastante. Na área de Lógica é agora o 11 entre 22. Ainda existe aquela planilha compilando fatores de impacto e QUALIS? -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos

[Logica-l] Sobre os meetings: Brasil/Espanha (2015) e Brasil/Itália (2016)

Caros, Escrevo para dar atualizações relativas aos meetings organizados pela Sociedade Brasileira de Matemática em parceria com homólogas européias: o meeting Brasil/Espanha (que ocorreu em dezembro do ano passado, em Fortaleza) e o meeting Brasil/Itália (que vai ocorrer no final de agosto,

Re: [Logica-l] Ontologia SUMO, ATP, ITP e Explicação de provas

Alexandre Rademaker escreve: > Prezados, Olá, Alexandre. > Estamos fazendo vários experimentos com a SUMO [1], sua tradução para > TPTP/FOL [2] e verificação automática em provadores como E, Vampire > etc. Estamos reportando várias inconsistencias [3] e dificuldades de >