학술논문

발행년
-
(예 : 2010-2015)
'학술논문' 에서 검색결과 81건 | 목록 30~40
Book
Logic, Language, Information & Computation: 21st International Workshop, WoLLIC 2014, Valparaíso, Chile, September 1-4, 2014. Proceedings; 2014, p137-151, 15p
Periodical
British Tax Review. July-August, 2014, Vol. 2014 Issue 4, p386-396.
Conference
Cohen, Liron (IL-BGUN-NDM) AMS Author Profile; da Rocha Paiva, Bruno (4-BIRM-NDM) AMS Author Profile; Rahli, Vincent (4-BIRM-NDM) AMS Author Profile; Tosun, Ayberk (4-BIRM-NDM) AMS Author Profile
48th International Symposium on Mathematical Foundations of Computer Science (20230101), Art. No. 37, 16~pp..
Conference
Cohen, Liron (IL-BGUN-NDM) AMS Author Profile; Rahli, Vincent (4-BIRM-NDM) AMS Author Profile
31st EACSL Annual Conference on Computer Science Logic (20230101), Art. No. 15, 18~pp..
Conference
Cohen, Liron (IL-BGUN-NDM) AMS Author Profile; Rahli, Vincent (4-BIRM-NDM) AMS Author Profile
7th International Conference on Formal Structures for Computation and Deduction (20220101), Art. No. 10, 23~pp..
Conference
Cohen, Liron (IL-BGUN-C) AMS Author Profile
Automated deduction---CADE 28 (20210101), 3-24.
Conference
Cohen, Liron (IL-BGUN-C) AMS Author Profile
Connecting with computability (20210101), 135-145.
Conference
Bickford, Mark (1-CRNL-NDM) AMS Author Profile; Cohen, Liron (IL-BGUN-NDM) AMS Author Profile; Constable, Robert L. (1-CRNL-NDM) AMS Author Profile; Rahli, Vincent (4-BIRM-NDM) AMS Author Profile
29th EACSL Annual Conference on Computer Science Logic (20210101), Art. No. 11, 23~pp..
검색 결과 제한하기
제한된 항목
[AR] Cohen, Liron
발행연도 제한
-
학술DB(Database Provider)
저널명(출판물, Title)
출판사(Publisher)
자료유형(Source Type)
주제어
언어