학술논문
'학술논문'
에서 검색결과 13건 | 목록
1~10
Book
In: Legal Knowledge and Information Systems - JURIX 2023: 36th Annual Conference . (Frontiers in Artificial Intelligence and Applications, 7 December 2023, 379:379-382)
Book
In: Legal Knowledge and Information Systems - JURIX 2023: 36th Annual Conference . (Frontiers in Artificial Intelligence and Applications, 7 December 2023, 379:237-246)
Academic Journal
In: Linguistics and Philosophy . (Linguistics and Philosophy, 24 October 2015, 38(5):437-476)
Conference
In: Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI) , PLDI 2013 - Proceedings of the 2013 ACM SIGPLAN Conference on Programming Language Design and Implementation. (Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI), 2013, :287-296)
Book
Mador-Haim, S.; Alur, R.; Martin, M.M.K.; Maranget, L.; Sarkar, S.; Memarian, K.; Owens, S.; Sewell, P.; Alglave, J.; Williams, D.
In: Computer Aided Verification - 24th International Conference, CAV 2012, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2012, 7358 LNCS:495-512)
Conference
In: Proceedings - Design Automation Conference , 2011 48th ACM/EDAC/IEEE Design Automation Conference, DAC 2011. (Proceedings - Design Automation Conference, 2011, :504-509)
Book
In: Computer Aided Verification - 22nd International Conference, CAV 2010, Proceedings . (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2010, 6174 LNCS:273-287)
Conference
In: ICoS 2006 - Inference in Computational Semantics, Workshop Proceedings , ICoS 2006 - Inference in Computational Semantics, Workshop Proceedings. (ICoS 2006 - Inference in Computational Semantics, Workshop Proceedings, 2006, :57-66)
Academic Journal
In: ACM SIGPLAN Notices . (ACM SIGPLAN Notices, June 2013, 48(6):287-296)
Conference
Arons, T.; Fix, L.; Shalev, J.; Singerman, E.; Tiemeyer, A.; Elster, E.; Mishaeli, M.; Mador-Haim, S.; Vardi, M.Y.; Zuck, L.D.
In: Lecture Notes in Computer Science , Computer Aided Verification: 17th International Conference, CAV 2005. Proceedings. (Lecture Notes in Computer Science, 2005, 3576:185-198)
검색 결과 제한하기
제한된 항목
[AR] Mador-Haim, S.
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어