학술논문
'학술논문'
에서 검색결과 68건 | 목록
1~10
Academic Journal
In: Software and Systems Modeling . (Software and Systems Modeling, April 2024, 23(2):319-342)
Academic Journal
In: Theory and Practice of Logic Programming . (Theory and Practice of Logic Programming, 23 November 2021, 21(6):700-716)
Academic Journal
In: Constraints . (Constraints, 15 January 2019, 24(1):56-93)
Academic Journal
Amadini, R.; Gauthier, F.; Schachte, P.; Stuckey, P.J.; Gange, G.; Jordan, A.; Søndergaard, H.; Zhang, C.
In: Fundamenta Informaticae . (Fundamenta Informaticae, 2018, 158(4):297-326)
Conference
First International Conference on Availability, Reliability and Security (ARES'06) Availability, Reliability and Security Availability, Reliability and Security, 2006. ARES 2006. The First International Conference on. :8 pp.-41 2006
Academic Journal
In: Software - Practice and Experience . (Software - Practice and Experience, 1 December 2016, 46(12):1685-1703)
Academic Journal
In: Theoretical Computer Science . (Theoretical Computer Science, 25 April 2016, 625:1-24)
Academic Journal
In: Theory and Practice of Logic Programming . (Theory and Practice of Logic Programming, 3 September 2015, 15(4-5):526-542)
Academic Journal
In: ACM Transactions on Programming Languages and Systems . (ACM Transactions on Programming Languages and Systems, 1 January 2015, 37(1))
Academic Journal
In: Theoretical Computer Science . (Theoretical Computer Science, In Press, December 17, 2014)
검색 결과 제한하기
제한된 항목
[AR] Schachte, P.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어