Solving Smullyan Puzzles with Formal Systems

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

doi:10.1007/s10516-017-9339-1

Titel:: Solving Smullyan Puzzles with Formal Systems
Dokumenttyp:: Zeitschriftenaufsatz
Autor(en):: Costa, José Félix; Poças, Diogo
Nicht-TUM Koautoren:: ja
Kooperation:: international
Intellectual Contribution:: Discipline-based Research
Zeitschriftentitel:: Axiomathes
Journal gelistet in FT50 Ranking:: nein
Jahr:: 2017
Monat:: apr
Volltext / DOI:: doi:10.1007/s10516-017-9339-1
Print-ISSN:: 1572-8390
Urteilsbesprechung:: 0
Key publication:: Nein
Peer reviewed:: Ja
International:: Ja
Book review:: Nein
commissioned:: not commissioned
Professional Journal:: Nein
Interdisziplinarität:: Nein
Leitbild:: ;
Ethics und Sustainability:: Nein
BibTeX