2016 31st annual ACM/IEEE symposium on logic in computer science (LICS 2016) : New York, New York, USA : 5-8 July 2016 : LICS conference : logic mentoring workshop : 31st annual ACM-IEEE symposium on logic in computer science : Jul 2016, New York, NY.
国立国会図書館請求記号
M17-20-322
国立国会図書館書誌ID
029532965
資料種別
図書
著者
Symposium on Logic in Computer Science (31st : 2016 : New York, N.Y.)ほか