학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 10건 | 목록 1~10
Conference
1991 International Workshop on the HOL Theorem Proving System and Its Applications HOL Theorem Proving System and Its Applications, 1991., International Workshop on the. :350-357 1991
Academic Journal
IEEE Design & Test of Computers IEEE Des. Test. Comput. Design & Test of Computers, IEEE. 18(4):16-25 Aug, 2001
eBook
Academic Journal
In: International Journal on Software Tools for Technology Transfer. (International Journal on Software Tools for Technology Transfer, 2003, 4(2):189-210)
Academic Journal
In: Formal Methods in System Design, Higher Order Logic Theorem Proving and its Applications, I. (Formal Methods in System Design, August 1993, 3(1-2):7-24)
Book
In: Frontiers of Combining Systems - 4th International Workshop, FroCoS 2002, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2002, 2309:193-206)
Book
In: Formal Methods in Computer-Aided Design - 4th International Conference, FMCAD 2002, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2002, 2517:1-18)
Book
In: Formal Methods in Computer-Aided Design - 3rd International Conference, FMCAD 2000, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2000, 1954:263-282)
Book
In: Correct Hardware Design and Verification Methods - 10th IFIP WG 10.5 Advanced Research Working Conference, CHARME 1999, Proceedings. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 1999, 1703:202-218)
검색 결과 제한하기
제한된 항목
[AR] Melham, T.F.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어