Logic for applications /

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