Uma vez, há anos, postei algo no archiv. Recebi tanto hate mail que nunca mais
postei coisa lá (era um trabalho em versão draft ainda).
Sent from my iPhone
> AOn 29 Jan 2017, at 19:23, Joao Marcos wrote:
>
> Walter, Alexandre, Marcos, Maria, Hermógenes:
>
> Obrigado pelas múltiplas reações.
Walter, Alexandre, Marcos, Maria, Hermógenes:
Obrigado pelas múltiplas reações. Como o zelo que tenho pela minha
privacidade não me permite ser franco admirador de redes sociais, em
geral, vou ignorar este "sedutor" aspecto do site academia.edu, cujas
magníficas funcionalidades eu também não pret
Marcos Silva escreveu:
> Caros,
Olá, Marcos.
> até que ponto esta exortação pública contra a academia.eu não eh
> exagerada, hein?
>
> Sendo bem pedestre, em termos de custo e benefício, nesta rede social,
> me parece que as coisas vão bem. Pelo menos, pra filosofia. Não tenho
> custo nenhum,
De fato, professor Marcos Silva, concordo plenamente e acredito que
continua a ser um local de divulgação muito interessante.
Tenho tido
experiências semelhantes nesse e no Researchgate. No caso, são
interesses diversos mas, tenho ótimas respostas tanto da África como do
leste europeu, assim c
Extended Deadline FEB 5, 2017!
Please, disseminate this extended deadline.
We cordially invite submissions of contributed papers on the general
topics of Logic, including
- Philosophical and Mathematical Logic, and Applications,
- History and Philosophy of Logic,
- Non-classical Logic and Applica
Caros,
até que ponto esta exortação pública contra a academia.eu não eh exagerada,
hein?
Sendo bem pedestre, em termos de custo e benefício, nesta rede social, me
parece que as coisas vão bem. Pelo menos, pra filosofia. Não tenho custo
nenhum, pelo menos aparentemente, e fico sabendo, de maneir
Obrigado por complementar as informações do meu email anterior, Walter.
> Interessantemente, na versão do Arxiv eles se referem bastante ao
> "influential" artigo de Alan Bundy,
>
> Bundy, A. A Science of Reasoning, in `Computational Logic: Essays in Honor
> of Alan Robinson', eds Lassez J-L & Pl
A informação esta incompleta. O primeiro autor eh M. Ganesalingam.
Ganesalingam, M., & Gowers, W. T.
Journal of Automated Reasoning
February 2017, Volume 58, Issue 2, pp 253–291
A Fully Automatic Theorem Prover with Human-Style Output
doi.org/10.1007/s10817-016-9377-1
O artigo esta disponivel a
