代数系、論理、言語と計算機科学の周辺 : RIMS共同研究(公開型)

Notes on use

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: 代数系、論理、言語と計算機科学の周辺 : RIMS共同研究(公開型)
Title Transcription: ダイスウケイロンリゲンゴトケイサンキカガクノシュウヘン : RIMS キョウドウケンキュウコウカイガタ
Author Heading: 足立, 智子アダチ, トモコ
京都大学数理解析研究所キョウトダイガクスウリカイセキケンキュウショ
https://ci.nii.ac.jp/author/DA00277933
Publication, Distribution, etc.: 京都大学数理解析研究所
Publication Date: 2019.10
Publication Date (W3CDTF): 2019
Size: 26cm
Alternative Title: Algebraic system, logic, language and related areas in computer science : February 20-22, 2019
Place of Publication (Country Code): ja
Target Audience: 一般
Note (General): RIMS共同研究(公開型)報告集: 2019年2月20日-2月22日. 研究代表者: 足立智子
参考文献: 各論文末
Related Material: 数理解析研究所講究録
https://cir.nii.ac.jp/crid/1130000795806014720
Related Material (URI): https://ci.nii.ac.jp/ncid/BB29552622#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/BB29552622 : BB29552622