-
1كتاب إلكتروني
-
2كتاب إلكتروني
المؤلفون: Russell, Gillian K., author
المصدر: Barriers to Entailment : Hume's Law and other Limits on Logical Consequence, 2023, ill.
-
3دورية أكاديمية
المؤلفون: Bacharach, JulianAff1, IDs11229023044702_cor1
المصدر: Synthese: An International Journal for Epistemology, Methodology and Philosophy of Science. 203(1)
-
4دورية أكاديمية
المؤلفون: Ma, Minghui, Chen, QianAff2, IDs11225022100270_cor2
المصدر: Studia Logica: An International Journal for Symbolic Logic. 111(2):217-250
-
5دورية أكاديمية
المؤلفون: Ma, MinghuiAff1, IDs11225022100145_cor1, Li, Guiying
المصدر: Studia Logica: An International Journal for Symbolic Logic. 111(1):21-56
-
6كتاب إلكتروني
-
7مؤتمر
المؤلفون: Jakobsen, David, Ohrstrom, Peter
المصدر: 2016 23rd International Symposium on Temporal Representation and Reasoning (TIME) Temporal Representation and Reasoning (TIME), 2016 23rd International Symposium on. :167-176 Oct, 2016
Relation: 2016 23rd International Symposium on Temporal Representation and Reasoning (TIME)
-
8مؤتمر
المؤلفون: De Rudder, Laurent
مصطلحات موضوعية: Subordination algebras, Modal Logic, Tense Logic, Physical, chemical, mathematical & earth Sciences :: Mathematics, Physique, chimie, mathématiques & sciences de la terre :: Mathématiques
جغرافية الموضوع: international
Relation: TACL 2019, Nice, France (Juin 2019)
URL الوصول: https://orbi.uliege.be/handle/2268/253090
-
9دورية أكاديمية
المؤلفون: Chajda, Ivan, Länger, HelmutAff1, Aff2, IDs10773023053277_cor2
المصدر: International Journal of Theoretical Physics. 62(4)
-
10كتاب إلكتروني
المؤلفون: Wang, XiaoyangAff10, Wang, YanjingAff10
المساهمون: Goos, Gerhard, Founding EditorAff1, Hartmanis, Juris, Founding EditorAff2, Bertino, Elisa, Editorial Board MemberAff3, Gao, Wen, Editorial Board MemberAff4, Steffen, Bernhard, Editorial Board MemberAff5, Yung, Moti, Editorial Board MemberAff6, Ciabattoni, Agata, editorAff7, Pimentel, Elaine, editorAff8, de Queiroz, Ruy J. G. B., editorAff9
المصدر: Logic, Language, Information, and Computation : 28th International Workshop, WoLLIC 2022, Iași, Romania, September 20–23, 2022, Proceedings. 13468:70-87