Solving Smullyan Puzzles with Formal Systems

Costa, José Félix; Poças, Diogo

doi:10.1007/s10516-017-9339-1

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