洋書を”低価格”で”スピーディ”にご提供。
ようこそJPサイトへ Guest | ログイン | メインページ | お問い合わせ | 図書館/研究機関
Shopping from USA? Shop in Your Local Currency, Visit http://www.printsasia.com

Theorem Proving in Higher Order Logics 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings

著者  ,
Theorem Proving in Higher Order Logics 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings,3540649875,9783540649878

購入できます

通常23 日以内に発送します

東京から発送

国内無料配送

海外配送

配送時間とあなたの国への 配送料 の確認

Book Information

出版社:Springer
発売日:09-Sep-1998
ISBN:3540649875
ISBN13:9783540649878
形式:Paperback
重量:735 gms
書誌情報:pp. 516, 49:B&W 6.14 x 9.21 in or 234 x 156 mm (Royal 8vo) Perfect Bound on White w/Gloss

書籍タイトル "Theorem Proving in Higher Order Logics 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings 1st Edition " 著者 Jim Grundy. こちらの書籍が発行された年 1998. 書籍ISBN番号 3540649875|9783540649878 このタイトルは Paperback バージョンに割り当てられます 書籍の総ページ数 pp. VIII + 497 (ページ) この書籍の出版社はこちらです Springer. 当サイトにはこちらの出版社から 98073 冊の素晴らしい書籍がございます

Proceedings of the Second Conference on Compact Transformation Groups. University of Massachusetts, Amherst, 1971 Part 1,3540060774,9783540060772

Proceedings of the S ...

H. T Ku, L. N M ...

当ショップ価格: ¥ 8855

Algebraic K-Theory I. Proceedings of the Conference Held at the Seattle Research Center of Battelle Memorial Institute, August 28 - September 8, 1972 Higher K-Theories,3540064346,9783540064343

Algebraic K-Theory I ...

Hyman Bass

当ショップ価格: ¥ 9364