학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 55건 | 목록 50~60
Book
In: Theorem Provers in Circuit Design: Theory, Practice and Experience - 2nd International Conference, TPCD 1994, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1995, 901:13-32)
Book
In: Theorem Provers in Circuit Design: Theory, Practice and Experience - 2nd International Conference, TPCD 1994, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1995, 901:52-71)
Book
In: Computer Aided Verification - 4th International Workshop, CAV 1992, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1993, 663 LNCS:69-81)
Academic Journal
In: The Lancet. (The Lancet, 31 August 1985, 326(8453):499)
검색 결과 제한하기
제한된 항목
[AR] Aagaard, M.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어