-
1تقرير
-
2تقرير
-
3تقرير
-
4دورية أكاديمية
المؤلفون: FERNÁNDEZ-DUQUE, DAVID, WEIERMANN, ANDREAS
المصدر: The Bulletin of Symbolic Logic, 2024 Mar 01. 30(1), 1-19.
URL الوصول: https://www.jstor.org/stable/27294832
-
5تقرير
-
6تقرير
المؤلفون: Fernández-Duque, David, Papafilippou, Konstantinos
مصطلحات موضوعية: Mathematics - Logic, 03B45 (Primary) 03B70 (Secondary), F.4.1, I.2.4
URL الوصول: http://arxiv.org/abs/2304.03339
-
7تقرير
المؤلفون: Fernández-Duque, David, Shafer, Paul, Towsner, Henry, Yokoyama, Keita
مصطلحات موضوعية: Mathematics - Logic
URL الوصول: http://arxiv.org/abs/2302.08874
-
8تقرير
المؤلفون: Fernández-Duque, David, Montacute, Yoàv
مصطلحات موضوعية: Mathematics - Logic, Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/2301.09904
-
9تقرير
المصدر: Principles of Knowledge Representation and Reasoning, Proceedings of the 19th International Conference (August 2022) 2-11
مصطلحات موضوعية: Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/2205.05182
-
10تقرير
المصدر: Workshop on Logic, Language, Information, and Computation (WoLLIC), proceedings of the 28th International Workshop (September 2022), pp. 18-35
مصطلحات موضوعية: Computer Science - Logic in Computer Science
URL الوصول: http://arxiv.org/abs/2205.00574