コンピュータ ソフトウェア
Print ISSN : 0289-6540
有理Presburger算術の決定性について
細野 千春, 池田 靖雄
著者情報
ジャーナル フリー

1992 年 9 巻 5 号 p. 5_432-5_439

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

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

BIB TEX形式

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

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

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

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