Benutzer: Gast  Login
Dokumenttyp:
Zeitschriftenaufsatz
Autor(en):
Costa, José Félix; Poças, Diogo
Nicht-TUM Koautoren:
ja
Kooperation:
international
Titel:
Solving Smullyan Puzzles with Formal Systems
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