User: Guest  Login
Title:

Solving Smullyan Puzzles with Formal Systems

Document type:
Zeitschriftenaufsatz
Author(s):
Costa, José Félix; Poças, Diogo
Non-TUM Co-author(s):
ja
Cooperation:
international
Intellectual Contribution:
Discipline-based Research
Journal title:
Axiomathes
Journal listet in FT50 ranking:
nein
Year:
2017
Month:
apr
Fulltext / DOI:
doi:10.1007/s10516-017-9339-1
Print-ISSN:
1572-8390
Judgement review:
0
Key publication:
Nein
Peer reviewed:
Ja
International:
Ja
Book review:
Nein
Commissioned:
not commissioned
Professional Journal:
Nein
Interdisciplinarity:
Nein
Mission statement:
;
Ethics and Sustainability:
Nein
 BibTeX