Computer Science Logic: 14th International Workshop, Csl 2000 Annual Conference of the Eacsl Fischbachau, Germany, August 21-26, 2000 Proceedings - Lecture Notes in Computer Science - P Clote - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540678953 - 2000年8月9日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

P Clote
Computer Science Logic: 14th International Workshop, Csl 2000 Annual Conference of the Eacsl Fischbachau, Germany, August 21-26, 2000 Proceedings - Lecture Notes in Computer Science

価格
R$ 591,90
税抜

遠隔倉庫からの取り寄せ

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

お客様の声：

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

The papers cover: automated deduction; theorem proving; categorical logic; term rewriting; finite model theory; higher order logic; lambda and combinatory calculi; computational complexity; logic programing; constraints; linear logic; modal logic; temporal logic; and many others topics.

550 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2000年8月9日
ISBN13 9783540678953
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 550
寸法 156 × 234 × 29 mm   ·   1,29 kg
言語 ドイツ語  
編集者 Clote, Peter
編集者 Schwichtenberg, Helmut

P Cloteのすべてを見る ( 例： Paperback Book )