User: Guest  Login
Document type:
Zeitschriftenaufsatz 
Author(s):
Costa, José Félix; Poças, Diogo 
Non-TUM Co-author(s):
ja 
Cooperation:
international 
Title:
Solving Smullyan Puzzles with Formal Systems 
Intellectual Contribution:
Discipline-based Research 
Journal title:
Axiomathes 
Journal listet in FT50 ranking:
nein 
Year:
2017 
Month:
apr 
Print-ISSN:
1572-8390 
Key publication:
Nein 
Peer reviewed:
Ja 
International:
Ja 
Book review:
Nein 
Commissioned:
not commissioned 
Professional Journal:
Nein 
Interdisciplinarity:
Nein 
Mission statement: