Search results
Filosofický časopis (Philosophical Journal) > 2022 > 70 > 2 > 381-401
Organon F. medzinárodný časopis pre analytickú filozofiu > 2022 > 29 > 4 > 427–433
SN Applied Sciences > 2019 > 1 > 10 > 1-9
Annales Universitatis Paedagogicae Cracoviensis. Studia de Cultura > 2019 > 11(1) "Postprawda. Nowe narracje i praktyki społeczne w epoce sfingowanych informacji i gatunków hybrydycznych" > 5-14
Computers and Electronics in Agriculture > 2018 > 150 > C > 455-464
Logica Universalis > 2017 > 11 > 4 > 489-505
Wireless Personal Communications > 2017 > 97 > 2 > 2167-2190
Logica Universalis > 2017 > 11 > 3 > 297-315
Journal of Philosophical Logic > 2017 > 46 > 4 > 457-465
Metaphilosophy > 47 > 3 > 449 - 466
Lecture Notes in Computer Science > Typed Lambda Calculi and Applications > Contributed Papers > 415-429
Lecture Notes in Computer Science > Computer Aided Systems Theory – EUROCAST 2007 > Systems Theory and Simulation: Formal Approaches > 26-33
Lecture Notes in Computer Science > Typed Lambda Calculi and Applications > Contributed Papers > 27-44