Automated Deduction - CADE-20 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings
著者 Robert Nieuwenhuis
購入できます
東京から発送
国内無料配送
海外配送
配送時間とあなたの国への
配送料
の確認
出版社: | Springer |
発売日: | 14-Jul-2005 |
ISBN: | 3540280057 |
ISBN13: | 9783540280057 |
形式: | Paperback |
重量: | 765 gms |
書誌情報: | pp. 478, Illus. |
書籍タイトル "Automated Deduction CADE-20 : 20th International Conference on Automated Deduction, Tallinn, Estonia, July 22-27, 2005, Proceedings" 年発行 2005. 書籍ISBN番号 3540280057|9783540280057 このタイトルは Paperback バージョンに割り当てられます 書籍の総ページ数 pp. 457 (ページ) この書籍の出版社はこちらです Springer. 当サイトにはこちらの出版社から 100017 冊の素晴らしい書籍がございます