학술논문
'학술논문'
에서 검색결과 4건 | 목록
1~10
Academic Journal
Welten, S.; Weber, S.; Neumann, L.; Kindermann, K.; Decker, S.; de Arruda Botelho Herr, M.; Hieber, D.; Placzek, P.; Graf, M.; Kohlbacher, O.; Pfeifer, N.; Hempel, L.; Jugl, M.; Kirsten, T.; Tirpitz, L.; Geisler, S.; Bonino da Silva Santos, L.O.
In: Scientific Data . (Scientific Data, December 2024, 11(1))
Academic Journal
In: Bulletin of the Section of Logic . (Bulletin of the Section of Logic, 2024, 53(2):245-274)
Academic Journal
In: Bulletin of the Section of Logic . (Bulletin of the Section of Logic, January 2021, 50(1):55-80)
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)
검색 결과 제한하기
제한된 항목
[AR] Płaczek, P.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어