Logic for applications /

保存先:
書誌詳細
第一著者: Nerode, Anil
その他の著者: Shore, Richard A.
フォーマット: 図書
言語:英語
出版事項: New york : Springer-Verlag, 1997.
版:2nd ed.
シリーズ:Graduate texts in computer science
主題:
タグ: タグ追加
タグなし, このレコードへの初めてのタグを付けませんか!