-
1Conference
Συγγραφείς: Sriram, S., Sivaranjani, K.
Πηγή: 2023 First International Conference on Advances in Electrical, Electronics and Computational Intelligence (ICAEECI) Advances in Electrical, Electronics and Computational Intelligence (ICAEECI), 2023 First International Conference on. :1-6 Oct, 2023
Relation: 2023 First International Conference on Advances in Electrical, Electronics and Computational Intelligence (ICAEECI)
-
2Academic Journal
Συγγραφείς: Přenosil, Adam
Συνδεδεμένο Πλήρες ΚείμενοΠηγή: In Annals of Pure and Applied Logic February 2026 177(2)
-
3Report
Συγγραφείς: Flaminio, Tommaso, Godo, Lluis, Rosella, Gluliano
Πηγή: EPTCS 437, 2025, pp. 128-139
Θεματικοί όροι: Logic in Computer Science, Artificial Intelligence, Discrete Mathematics
Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2511.22377
-
4Academic Journal
Συγγραφείς: Sinem Tarsuslu (Yılmaz), Gökhan Çuvalcıoğlu
Πηγή: Notes on Intuitionistic Fuzzy Sets. 31:441-447
-
5Academic Journal
Συγγραφείς: Arif Bal, Sinem Tarsuslu, Dilara Gündoğdu, Gökhan Çuvalcıoğlu
Πηγή: Journal of Universal Mathematics. 8:70-84
-
6Book
Συγγραφείς: Hearn, Tristan A.
Θεματικοί όροι: Classifications., Computer programs., Human factors engineering., Machine learning., Software engineering.
-
7Report
Συγγραφείς: Wałęga, Przemysław Andrzej, Zawidzki, Michał
Θεματικοί όροι: Computer Science - Logic in Computer Science
Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2410.10439
-
8Academic Journal
-
9Report
Συγγραφείς: Berkholz, Christoph, Kuske, Dietrich, Schwarz, Christian
Πηγή: Logical Methods in Computer Science, Volume 21, Issue 3 (July 28, 2025) lmcs:14094
Θεματικοί όροι: Logic in Computer Science, Logic
Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2408.11651
-
10Academic Journal
Συγγραφείς: Ahmed Abdel Meguid
Πηγή: Theology and Science. 23:640-655
-
11Academic Journal
Συγγραφείς: Chancelle O. Kamga, Surdive Atamewoue, Célestin Lélé, Lutz Strüngmann
Πηγή: Journal of Applied Non-Classical Logics. 35:442-463
-
12Report
Συγγραφείς: Flaminio, Tommaso, Godo, Lluis, Menchón, Paula, Rodriguez, Ricardo O.
Θεματικοί όροι: Mathematics - General Mathematics, Computer Science - Artificial Intelligence, Computer Science - Logic in Computer Science, 03B50, 03B45
Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2405.19354
-
13Academic Journal
Συγγραφείς: Balbiani, PhilippeAff1, IDs1122902505226w_cor1
Συνδεδεμένο Πλήρες ΚείμενοΠηγή: Synthese: An International Journal for Epistemology, Methodology and Philosophy of Science. 206(4)
-
14Report
Συγγραφείς: Přenosil, Adam
Θεματικοί όροι: Mathematics - Logic
Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2311.10017
-
15Academic Journal
Συγγραφείς: Letuchiy, AlexanderAff1, Aff2, IDs11185024093071_cor1
Πηγή: Russian Linguistics: International Journal for the Study of Russian and other Slavic Languages. 49(1)
-
16Academic Journal
Συγγραφείς: Koohnavard Roghayeh, Saeid Arsham Borumand
Πηγή: Analele Stiintifice ale Universitatii Ovidius Constanta: Seria Matematica, Vol 31, Iss 1, Pp 167-179 (2023)
Θεματικοί όροι: modal operator, primary 03g10, secondary 06a75, 06b20, 03b75, QA1-939, Varieties of lattices, strong modal operator, Mathematics, (normal) residuated skew lattice, Logical aspects of lattices and related structures, Generalizations of ordered sets
Περιγραφή αρχείου: application/xml
Συνδεδεμένο Πλήρες ΚείμενοΣύνδεσμος πρόσβασης: https://doaj.org/article/2ebf38de9e7d48d29d0e32a4e11dd8e3
-
17Conference
Συγγραφείς: Bertei, Alex, Reiser, Renata
Πηγή: 2018 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE) Fuzzy Systems (FUZZ-IEEE), 2018 IEEE International Conference on. :1-8 Jul, 2018
Relation: 2018 IEEE International Conference on Fuzzy Systems (FUZZ-IEEE)
-
18Academic Journal
Συγγραφείς: Christoph Berkholz, Dietrich Kuske, Christian Schwarz
Πηγή: Logical Methods in Computer Science. 21
Θεματικοί όροι: FOS: Computer and information sciences, Logic in computer science, Logic in Computer Science, Logic, FOS: Mathematics, succinctness, Logic (math.LO), Computer science, modal logic, Logic in Computer Science (cs.LO)
Περιγραφή αρχείου: application/pdf; application/xml
Σύνδεσμος πρόσβασης: http://arxiv.org/abs/2408.11651
https://lmcs.episciences.org/14094
https://doi.org/10.46298/lmcs-21(3:10)2025
https://zbmath.org/8097710
https://doi.org/10.46298/lmcs-21(3:10)2025 -
19Academic Journal
Συγγραφείς: Grant, John
Πηγή: Studia Logica: An International Journal for Symbolic Logic, 2021 Jun 01. 109(3), 581-605.
Σύνδεσμος πρόσβασης: https://www.jstor.org/stable/45387267
-
20Academic Journal
Συγγραφείς: Rafal Gruszczynski, Paula Menchón
Πηγή: Studia Logica. 111:717-748
Θεματικοί όροι: region-based theories of space, Modal algebras, Boolean contact algebras, Mathematics - Logic, 0102 computer and information sciences, 06 humanities and the arts, 0603 philosophy, ethics and religion, 01 natural sciences, Primary 06E25, Secondary 03G05, Region-based theories of space, FOS: Mathematics, Logical aspects of Boolean algebras, 0101 mathematics, Logic (math.LO), Boolean algebras with additional operations (diagonalizable algebras, etc.), modal algebras
Περιγραφή αρχείου: application/xml; application/pdf