国立国会図書館サーチ(NDL SEARCH)
2015 30th annual ACM/IEEE symposium on logic in computer science : (LICS 2015) : Kyoto, Japan : 6-10 July 2015 : LICS 2015 conference : Jul 2015, Kyoto, Japan.
資料に関する注記
一般注記:
形態の詳細:
この資料の詳細や典拠(同じ主題の資料を指すキーワード、著者名)等を確認できます。