학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 125건 | 목록 1~10
Academic Journal
In: Journal of Logic and Computation. (Journal of Logic and Computation, 1 September 2023, 33(6):1301-1325)
Academic Journal
In: Journal of Applied Non-Classical Logics. (Journal of Applied Non-Classical Logics, 2021, 31(3-4):181-220)
Academic Journal
In: Logical Methods in Computer Science. (Logical Methods in Computer Science, 2021, 17(3):5:1-5:37)
Academic Journal
In: Logic Journal of the IGPL. (Logic Journal of the IGPL, 1 December 2020, 28(6):1093-1105)
Conference
MASCOTS '99. Proceedings of the Seventh International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunication Systems Modeling, analysis and simulation of computer and telecommunications systems Modeling, Analysis and Simulation of Computer and Telecommunication Systems, 1999. Proceedings. 7th International Symposium on. :339-346 1999
Book
In: Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 14281 LNAI:729-744)
Book
In: Logics in Artificial Intelligence - 18th European Conference, JELIA 2023, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 14281 LNAI:405-419)
Book
In: Automated Reasoning with Analytic Tableaux and Related Methods - 32nd International Conference, TABLEAUX 2023, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 14278 LNAI:37-48)
Conference
In: Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, 22nd International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2023. (Proceedings of the International Joint Conference on Autonomous Agents and Multiagent Systems, AAMAS, 2023, 2023-May:364-372)
Book
In: Dynamic Logic. New Trends and Applications - 4th International Workshop, DaLí 2022, Revised Selected Papers. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2023, 13780 LNCS:v-ix)
검색 결과 제한하기
제한된 항목
[AR] Areces, C.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어