Resolution Proof Systems: an Algebraic Theory - Automated Reasoning Series - Zbigniew Stachniak - 書籍 - Springer - 9789401072519 - 2011年10月1日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Resolution Proof Systems: an Algebraic Theory - Automated Reasoning Series Softcover Reprint of the Original 1st Ed. 1996 edition

価格
¥ 16.529
税抜

遠隔倉庫からの取り寄せ

発送予定日 年10月21日 - 年11月2日
Zbigniew Stachniak の新しいリリースのお知らせを受け取る
iMusicのウィッシュリストに追加

まだ評価がありません

他の形態でも入手可能:

223 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2011年10月1日
ISBN13 9789401072519
出版社 Springer
ページ数 208
寸法 160 × 240 × 12 mm   ·   326 g

同じ出版社からのその他の記事