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 é agora o 11 entre 22.
> Ai
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 organizados pela
> Sociedade
> Br
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 16:
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 do
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,
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
> obter provas que deveri