학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 27건 | 목록 1~10
Conference
Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001) Automated software engineering Automated Software Engineering, 2001. (ASE 2001). Proceedings. 16th Annual International Conference on. :417-420 2001
Book
In: Mechanizing Mathematical Reasoning: Essays in Honor of Joerg H. Siekmann on the Occasion of His 60th Birthday. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2005, 2605 LNAI:452-475)
Book
(Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2004, 3193:209-224)
Book
(Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2004, 2802:101-115)
Academic Journal
In: Journal of Applied Logic, Logic-Based Agent Verification. (Journal of Applied Logic, June 2007, 5(2):303-332)
검색 결과 제한하기
제한된 항목
[AR] Schairer, A.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어