Lectures on Linear Logic, Anne S. Troelstra, CSLI, 1992

コンピュータソフトウェア

Print ISSN : 0289-6540

Lectures on Linear Logic, Anne S. Troelstra, CSLI, 1992

藤原靖

著者情報

ジャーナルフリー

1994 年 11 巻 2 号 p. 2_125-2_127

DOI https://doi.org/10.11309/jssst.11.2_125

詳細

抄録

著者関連情報

© 1994, 日本ソフトウェア科学会

お気に入り & アラート

関連記事

閲覧履歴

Top