학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 314건 | 목록 180~190
Book
In: Computer Science Logic - 21st International Workshop, CSL 2007 and 16th Annual Conference of the EACSL, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2007, 4646 LNCS:313-327)
Book
In: Term Rewriting and Applications - 17th International Conference, RTA 2006, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2006, 4098 LNCS:181-196)
Book
In: Types for Proofs and Programs - International Workshop, TYPES 2004, Revised Selected Papers. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2006, 3839 LNCS:232-251)
Book
In: Typed Lambda Calculi and Applications - 5th International Conference, TLCA 2001, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2001, 2044 LNCS:344-359)
Academic Journal
In: Journal de Radiologie. (Journal de Radiologie, April 2010, 91(4):509-510)
Academic Journal
In: Arabica. (Arabica, 1 July 2007, 54(3):408-409)
Academic Journal
In: Feuillets de Radiologie. (Feuillets de Radiologie, June 2005, 45(3 I):166-173+228)
Academic Journal
In: Revue des Maladies Respiratoires. (Revue des Maladies Respiratoires, November 2004, 21(5 I):1017-1032)
검색 결과 제한하기
제한된 항목
[AR] Miquel, A.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어