학술논문
'학술논문'
에서 검색결과 60건 | 목록
1~10
Academic Journal
In: Logical Methods in Computer Science . (Logical Methods in Computer Science, 2023, 19(2))
Academic Journal
Gosselink, M.; Snoek, R.; Van Bakel, S.; Agnė, Č.; Cerkauskiene, R.; Miglinas, M.; Tory, K.; Claes, K.; Van Calsteren, K.; Servais, A.; De Jong, M.; Gillion, V.; Vogt, L.; Furlano, M.; Torra, R.; Attini, R.; Lely, T.; Van Eerde, A.; Mastrangelo, A.
In Pregnancy Hypertension: An International Journal of Women's Cardiovascular Health September 2023 33 Supplement 1:e27-e28
Conference
In: ACM International Conference Proceeding Series , Proceedings of the 25th International Symposium on Principles and Practice of Declarative Programming, PPDP 2023 - As part of the ACM SIGPLAN conference on Systems, Programming, Languages, and Applications: Software for Humanity, SPLASH 2023, including LOPSTR 2023. (ACM International Conference Proceeding Series, 22 October 2023)
Academic Journal
In: International Journal of Theoretical and Applied Finance . (International Journal of Theoretical and Applied Finance, 1 August 2020, 23(5))
Academic Journal
In: ACM Transactions on Computational Logic . (ACM Transactions on Computational Logic, February 2018, 19(1))
Academic Journal
In: Logical Methods in Computer Science . (Logical Methods in Computer Science, 10 January 2018, 14(1))
Academic Journal
In: Journal of Logical and Algebraic Methods in Programming . (Journal of Logical and Algebraic Methods in Programming, 1 January 2017, 86(1):30-76)
Conference
In: ACM International Conference Proceeding Series , Proceedings of the 21st International Symposium on Principles and Practice of Declarative Programming, PPDP 2019. (ACM International Conference Proceeding Series, 7 October 2019)
Book
(Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2003, 2841:202-215)
Academic Journal
In: Annals of Pure and Applied Logic . (Annals of Pure and Applied Logic, In Press, 2012)
검색 결과 제한하기
제한된 항목
[AR] Van Bakel, S.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어