Resultaten visas 1 - 10 / 23
resultat / per sida
Publikationens namn
Upphovspersoner
Publikationskanal
År
Publicationer information ikon
Karvanen, Juha; Tikka, Santtu; Vihola, Matti
Journal of Artificial Intelligence Research
2024
Publicationer information ikon
Tahko, Tuomas
Grazer Philosophische Studien
2012
Publicationer information ikon
Barbero, Fausto; Sandu, Gabriel
Logic in Computer Science (cs.LO)
2019
Publicationer information ikon
Pernu, Tuomas K.
Erkenntnis
2016
Publicationer information ikon
Negri, Sara; Sbardolini, Giorgio
The Review of Symbolic Logic
2015
Publicationer information ikon
Pfeifer, Niki; Tulkki, Leena
Minds and Machines
2017
Publicationer information ikon
Mäkelä Erik
University of Turku
2017
Publicationer information ikon
Barbero, Fausto; Virtema, Jonni
Leibniz International Proceedings in Informatics (LIPIcs)
2024
Publicationer information ikon
Barbero, Fausto; Yang, Fan
Notre Dame Journal of Formal Logic
2022
Publicationer information ikon
Tanyel, Toygar; Atmaca, Sezgin; Gökçe, Kaan; Balık, M. Yiğit; Güler, Arda; Aslanger, Emre; Öksüz, İl...
Biomedical Signal Processing and Control
2024