-
1تقرير
المؤلفون: Dean, Walter, Naibo, Alberto
مصطلحات موضوعية: Mathematics - History and Overview, Computer Science - Artificial Intelligence, Computer Science - Computational Complexity, Mathematics - Logic, 03B35, 68V05, 68V15, 68T01, F.2.2, F.4.0, I.2.0, I.2.3, K.2
URL الوصول: http://arxiv.org/abs/2408.03345
-
2تقرير
المؤلفون: Naibo, Alberto, Takahashi, Yuta
المصدر: EPTCS 353, 2021, pp. 132-156
مصطلحات موضوعية: Computer Science - Logic in Computer Science, F.4.1
URL الوصول: http://arxiv.org/abs/2112.14967
-
3
-
4تقرير
المؤلفون: Guerrieri, Giulio, Naibo, Alberto
مصطلحات موضوعية: Mathematics - Logic, 03F03, 03F07
URL الوصول: http://arxiv.org/abs/1710.08854
-
5دورية أكاديمية
المؤلفون: Guerrieri, Giulio, Naibo, Alberto
المصدر: Studia Logica: An International Journal for Symbolic Logic, 2019 Feb 01. 107(1), 109-144.
URL الوصول: https://www.jstor.org/stable/45096843
-
6كتاب إلكتروني
المؤلفون: Naibo, AlbertoAff6, Petrolo, MattiaAff6, Seiller, ThomasAff7
المساهمون: Rahman, Shahid, Series editorAff1, Symons, John, Series editorAff2, Redmond, Juan, editorAff3, Pombo Martins, Olga, editorAff4, Nepomuceno Fernández, Ángel, editorAff5
المصدر: Epistemology, Knowledge and the Impact of Interaction. 38:141-184
-
7كتاب إلكتروني
المؤلفون: Naibo, AlbertoAff3, Petrolo, MattiaAff3, Seiller, ThomasAff4
المساهمون: Rahman, Shahid, Series editorAff1, Başkent, Can, editorAff2
المصدر: Perspectives on Interrogative Models of Inquiry : Developments in Inquiry and Questions. 8:163-197
-
8دورية أكاديمية
المؤلفون: NAIBO, ALBERTO
المصدر: Archives de Philosophie, 2016 Oct 01. 79(4), 693-720.
URL الوصول: https://www.jstor.org/stable/44840452
-
9كتاب إلكتروني
المؤلفون: Naibo, AlbertoAff8
المساهمون: Bokulich, Alisa, Series editorAff1, Cohen, Robert S., Series editorAff2, Renn, Jürgen, Series editorAff3, Gavroglu, Kostas, Series editorAff4, Lolli, Gabriele, editorAff5, Panza, Marco, editorAff6, Venturi, Giorgio, editorAff7
المصدر: From Logic to Practice : Italian Studies in the Philosophy of Mathematics. 308:123-161
-
10دورية أكاديمية
المؤلفون: Maffezioli, Paolo, Naibo, Alberto, Negri, Sara
المصدر: Synthese, 2013 Sep 01. 190(14), 2677-2716.
URL الوصول: https://www.jstor.org/stable/24021406