Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings - Theoretical Computer Science and General Issues - Nikolaj Bjorner - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783642287169 - 2012年2月24日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Nikolaj Bjorner
Logic for Programming, Artificial Intelligence, and Reasoning: 18th International Conference, LPAR-18, Merida, Venezuela, March 11-15, 2012, Proceedings - Theoretical Computer Science and General Issues

価格
¥ 10.315
税抜

遠隔倉庫からの取り寄せ

発送予定日 2026年1月5日 - 2026年1月16日
クリスマスプレゼントは1月31日まで返品可能です

お客様の声：

EU消費者保護法に基づく14日間の返品ポリシー
Trustpilotで高評価
iMusicのウィッシュリストに追加

This book constitutes the proceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning, LPAR-18, held in Merida, Venezuela, in March 2012.

457 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2012年2月24日
ISBN13 9783642287169
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 446
寸法 155 × 235 × 23 mm   ·   657 g
言語 フランス語  
編集者 Bjorner, Nikolaj
編集者 Voronkov, Andrei

Nikolaj Bjornerの他の作品を見る

すべて表示

Nikolaj Bjornerのすべてを見る ( 例： Paperback Book )