학술논문
'학술논문'
에서 검색결과 16건 | 목록
1~10
Academic Journal
In: Bulletin of the Section of Logic . (Bulletin of the Section of Logic, December 2019, 48(4):259-283)
Academic Journal
In: Studia Logica . (Studia Logica, 15 April 2019, 107(2):313-349)
Academic Journal
In: Bulletin of the Section of Logic . (Bulletin of the Section of Logic, 2019, 48(2):99-116)
Academic Journal
In: Bulletin of the Section of Logic . (Bulletin of the Section of Logic, 2019, 48(1):45-76)
Conference
Bolotov, A.; Fang, J.; Francez, N.; Goranko, V.; Grygiel, J.; Kamide, N.; Leitsch, A.; Malinowski, J.; Martins, M.A.; Mundici, D.; Odintsov, S.; Ono, H.; Orlandelli, E.; Paoli, F.; Pelletier, J.; Pereira, L.C.; Poggiolesi, F.; Ramanayake, R.; Schmidt, R.; Shramko, Y.; Urchs, M.; Tourlakis, G.; Wansing, H.; Zaitsev, D.; Gruszczyński, R.; Jarmużek, T.; Klonowski, M.; Mruczek-Nasieniewska, K.; Nasieniewski, M.; Palczewski, R.; Pietruszczak, A.; Indrzejczak, A.; Kaczmarek, J.; Zawidzki, M.; Berger, U.; Conradie, W.; Dalmonte, T.; Dicher, B.; Drobyshevich, S.; Enqvist, S.; Figueiredo, D.; Fiorino, G.; Grabarczyk, P.; Greco, G.; Huuskonen, T.; Kubyshkina, E.; Leszczyńska-Jasion, D.; Lopes, B.; Łukowski, P.; Madeira, A.; Nowak, M.; Petrolo, M.; Płaczek, P.; Tesi, M.; Zhao, Z.
In: Electronic Proceedings in Theoretical Computer Science, EPTCS , Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 14 April 2022, 358)
Conference
In: Electronic Proceedings in Theoretical Computer Science, EPTCS , Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications, NCL 2022. (Electronic Proceedings in Theoretical Computer Science, EPTCS, 14 April 2022, 358:136-149)
Book
In: Automated Reasoning - 11th International Joint Conference, IJCAR 2022, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2022, 13385 LNAI:407-425)
Academic Journal
In: Journal of Logic, Language and Information . (Journal of Logic, Language and Information, 1 March 2016, 25(1):51-76)
Academic Journal
In: Studia Logica . (Studia Logica, 1 December 2015, 103(6):1245-1278)
검색 결과 제한하기
제한된 항목
[AR] Leszczyńska-Jasion, D.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어