Tipo
Artigos em Revista
Tipo de Documento
Artigo Completo
Título
Solving Smullyan Puzzles with Formal Systems
Participantes na publicação
José Félix Costa (Author)
Diogo Poças (Author)
Dep. Informática
CMAF
LASIGE
Data de Publicação
2017-04-28
Suporte
Axiomathes
Identificadores da Publicação
ISSN - 1122-1151
Editora
Springer Nature
Identificadores do Documento
DOI -
https://doi.org/10.1007/s10516-017-9339-1
URL -
http://dx.doi.org/10.1007/s10516-017-9339-1
Identificadores de Qualidade
SCIMAGO Q2 (2016) - 0.227 - Philosophy
SCIMAGO Q4 (2016) - 0.227 - Mathematics (miscellaneous)
SCOPUS Q2 (2017) - 0.184 - Philosophy
SCOPUS Q3 (2017) - 0.184 - Mathematics (miscellaneous)
SCIMAGO Q2 (2017) - 0.184 - Philosophy
SCIMAGO Q4 (2017) - 0.184 - Mathematics (miscellaneous)