定理証明支援系Coqによるグラフ書換え言語の性質証明

Persistent ID (NDL): info:ndljp/pid/13835464

Material type: 記事

Author: 山本直輝ほか

Publisher: 日本ソフトウェア科学会

Publication date: 2021-09-01

Material Format: Digital

Journal name: 日本ソフトウェア科学会大会講演論文集第38回

Publication Page: -

View All

Notes on use

Note (General)：: 出版日は会期初日を記載

Bibliographic Record

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

Digital

Material Type: 記事
Title: 定理証明支援系Coqによるグラフ書換え言語の性質証明
Author/Editor: 山本直輝
上田和紀
Publication, Distribution, etc.: 日本 : 日本ソフトウェア科学会
Publication Date: 2021-09-01
Publication Date (W3CDTF): 2021-09-01
Periodical title: 日本ソフトウェア科学会大会講演論文集
No. or year of volume/issue: 第38回
Volume: 第38回
Text Language Code: jpn
Note (General): 出版日は会期初日を記載
Persistent ID (NDL): info:ndljp/pid/13835464
https://dl.ndl.go.jp/pid/13835464
Collection: 障害者向け資料
Collection (Materials For Handicapped People:1): テキストデータ
Collection (particular): 国立国会図書館デジタルコレクション > 電子書籍・電子雑誌 > 学術機関 > 学協会
https://dl.ndl.go.jp/collections/B00043
Acquisition Basis: インターネット資料収集保存事業（WARP）
Date Accepted (W3CDTF): 2024-11-25T16:57:31+09:00
Date Captured (W3CDTF): 2023-09-21
Format (IMT): application/pdf
Access Restrictions: インターネット公開
Availability of remote photoduplication service: 不可
Periodical Title (URI): https://warp.da.ndl.go.jp/info:ndljp/pid/12997929/jssst.or.jp/files/user/taikai/2021/proceedings.html
Periodical Title (Persistent ID (NDL)): info:ndljp/pid/13835462
https://dl.ndl.go.jp/pid/13835462
Data Provider (Database): 国立国会図書館 : 国立国会図書館デジタルコレクション
https://dl.ndl.go.jp