総合講演・企画特別講演アブストラクト
Online ISSN : 1884-3972
ISSN-L : 1884-3972
構成的論理とプログラム理論
龍田 真
著者情報
ジャーナル フリー

1998 年 1998 巻 Autumn-Meeting1 号 p. 13-24

詳細
PDFをダウンロード (608K)
メタデータをダウンロード RIS形式

(EndNote、Reference Manager、ProCite、RefWorksとの互換性あり)

BIB TEX形式

(BibDesk、LaTeXとの互換性あり)

テキスト
メタデータのダウンロード方法
発行機関連絡先
記事の1ページ目
著者関連情報
© 日本数学会
前の記事 次の記事
お気に入り & アラート

閲覧履歴
このページを共有する
feedback
 Top