Developments of language, logic, algebraic system and computer science : February 20-22, 2017

Notes on use

Note (General)：: RIMS共同研究(公開型)報告集: 2017年2月20日-2月22日. 研究代表者: 堀内清光Includes bibliographical references

Related materials as well as pre- and post-revision versions

Search by Bookstore

This page shows libraries in Japan other than the National Diet Library that hold the material.

Please contact your local library for information on how to use materials or whether it is possible to request materials from the holding libraries.

other

CiNii Research
Search Service
Paper
You can check the holdings of institutions and databases with which CiNii Research is linked at the site of CiNii Research.
Check the holdings of this book

You can check the details of this material, its authority (keywords that refer to materials on the same subject, author's name, etc.), etc.

Material Type: 図書
Title: Developments of language, logic, algebraic system and computer science : February 20-22, 2017
Author/Editor: edited by Kiyomitsu Horiuchi
Author Heading: 堀内, 清光ホリウチ, キヨミツ
https://ci.nii.ac.jp/author/DA11407928
京都大学数理解析研究所キョウトダイガクスウリカイセキケンキュウショ
https://ci.nii.ac.jp/author/DA00277933
Publication, Distribution, etc.: Research Institute for Mathematical Sciences, Kyoto University
Publication Date: 2017
Publication Date (W3CDTF): 2017
Size: 26 cm
Alternative Title: 言語、論理、代数系と計算機科学の展開 : RIMS共同研究(公開型)
Place of Publication (Country Code): ja
Target Audience: 一般
Note (General): RIMS共同研究(公開型)報告集: 2017年2月20日-2月22日. 研究代表者: 堀内清光
Includes bibliographical references
Related Material: 数理解析研究所講究録
https://cir.nii.ac.jp/crid/1130000795806014720
Related Material (URI): https://ci.nii.ac.jp/ncid/BB25646440#entity
Periodical Title: 数理解析研究所講究録
https://cir.nii.ac.jp/crid/1130000795806014720
Data Provider (Database): 国立情報学研究所 : CiNii Research
Original Data Provider (Database): CiNii Books
https://ci.nii.ac.jp/books
NCID: https://ci.nii.ac.jp/ncid/BB25646440 : BB25646440