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

Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings

著者  
Theorem Proving in Higher Order Logics 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings,3540710655,9783540710653

購入できます

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

東京から発送

国内無料配送

海外配送

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

Book Information

出版社:Springer
発売日:30-Jul-2008
ISBN:3540710655
ISBN13:9783540710653
形式:Paperback
重量:559 gms
書誌情報:pp. 338, 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 21st International Conference, TPHOLs 2008, Montreal, Canada, August 18-21, 2008, Proceedings" 著者 Otmane Ait Mohamed. こちらの書籍が発行された年 2008. 書籍ISBN番号 3540710655|9783540710653 このタイトルは Hardback バージョンに割り当てられます 書籍の総ページ数 pp. X + 321 (ページ) この書籍の出版社はこちらです Springer. 当サイトにはこちらの出版社から 98405 冊の素晴らしい書籍がございます

13 Lectures on Fermat's Last Theorem,0387904328,9780387904320
32 %

13 Lectures on Ferma ...

Paulo Ribenboim

定価: ¥ 14099

当ショップ価格: ¥ 9526

Aspects of Ecology and Zoogeography of Recent and Fossil Ostracoda,9061935814,9789061935810

Aspects of Ecology a ...

Heinz Loffler, ...

当ショップ価格: ¥ 44695

Ordinary and Partial Differential Equations Proceedings of the Sixth Conference Held at Dundee, Scotland, March 31 - April 4, 1980,3540105697,9783540105695

Ordinary and Partial ...

W. N. Everitt, ...

当ショップ価格: ¥ 7047

Probability in Banach Spaces III Proceedings of the Third International Conference on Probability in Banach Spaces, Held at Tufts University, Medford, USA, August 4-16, 1980,354010822X,9783540108221

Probability in Banac ...

A. Beck

当ショップ価格: ¥ 6680

Abelian Group Theory Proceedings of the Oberwolfach Conference, January 12-17, 1981,3540108556,9783540108559

Abelian Group Theory ...

R. Gbel, E. Wal ...

当ショップ価格: ¥ 8518

Integral Representations and Applications Proceedings of a Conference Held at Oberwolfach, Germany, June 22-28, 1980,3540108807,9783540108801

Integral Representat ...

Klaus W. Roggen ...

当ショップ価格: ¥ 8792