Jump to main content

電子書籍・電子雑誌日本ソフトウェア科学会大会講演論文集
Volume number第32回
Article漸進的論理のシークエ...

漸進的論理のシークエント計算

Icons representing 記事
The cover of this title could differ from library to library.

Available in National Diet Library

Find on the publisher's website

NDL Digital Collections

Digital data available（日本ソフトウェア科学会）

Check on the publisher's website

漸進的論理のシークエント計算

Persistent ID (NDL)
info:ndljp/pid/11669502
Material type
記事
Author
蟻坂竜大
Publisher
日本ソフトウェア科学会
Publication date
2015
Material Format
Digital
Journal name
日本ソフトウェア科学会大会講演論文集 第32回
Publication Page
-
View All

Notes on use at the National Diet Library

本資料は、掲載誌(URI)等のリンク先にある電子書籍・電子雑誌の提供元Webサイトなどから、本文を自由に閲覧できる場合があります。

Notes on use

Note (General)：

一般1-4

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
漸進的論理のシークエント計算
Author/Editor
蟻坂竜大
Publication, Distribution, etc.
日本 : 日本ソフトウェア科学会
Publication Date
2015
Publication Date (W3CDTF)
2015
Periodical title
日本ソフトウェア科学会大会講演論文集
No. or year of volume/issue
第32回
Volume
第32回
Text Language Code
jpn