Zobrazeno 1 - 10
of 114
pro vyhledávání: '"Aliseda, Atocha"'
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Aliseda, Atocha, author
Publikováno v:
Confirmation, Empirical Progress, and Truth Approximation: Essays in Debate with Theo Kuipers. Volume 1. 83:167-192
Publikováno v:
Cognitive Structures in Scientific Inquiry: Essays in Debate with Theo Kuipers. 84:11-20
Autor:
Aliseda, Atocha1 (AUTHOR) atocha@filosoficas.unam.mx
Publikováno v:
Journal for General Philosophy of Science. Sep2023, Vol. 54 Issue 3, p473-490. 18p.
The motivation for this paper comes out of our experience with teaching natural deduction (ND) and with the way this formal system is implemented by the \textsc{Coq} proof assistant, namely by means of so-called tactics, which are heuristics that tra
Externí odkaz:
http://arxiv.org/abs/1507.03678
Autor:
Fuentes Reyes, Rodrigo Itzamna1 itzamnahjf@hotmail.com, Aliseda, Atocha1 atocha@filosoficas.unam.mx
Publikováno v:
Tópicos. Revista de Filosofía. ene-jun2021, Issue 60, p463-472. 10p.
Autor:
Beirlaen, Mathieu, Aliseda, Atocha
Publikováno v:
Synthese, 2014 Oct 01. 191(15), 3733-3758.
Externí odkaz:
https://www.jstor.org/stable/24026228
Publikováno v:
Review of Philosophy and Psychology; 20240101, Issue: Preprints p1-23, 23p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.