コンピュータ ソフトウェア
Print ISSN : 0289-6540
区間時制論理に基づいた実行可能かつ公理的体系を持つ論理型言語AYA
新出 尚之
著者情報
ジャーナル フリー

1991 年 8 巻 5 号 p. 5_457-5_478

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

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

BIB TEX形式

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

テキスト
メタデータのダウンロード方法
発行機関連絡先
抄録

著者関連情報
© 1991, 日本ソフトウェア科学会
前の記事 次の記事
お気に入り & アラート

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