Handbook of Tableau Methods - M D\'agostino - 書籍 - Springer - 9789048151844 - 2010年12月7日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

M D\'agostino
Handbook of Tableau Methods Softcover reprint of hardcover 1st ed. 1999 edition

価格
¥ 32.843
税抜

遠隔倉庫からの取り寄せ

発送予定日 年9月29日 - 年10月9日
M D\'agostino の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

Recent years have been blessed with an abundance of logical systems, arising from a multitude of applications. There are several types of proof theoretical methodologies, Hilbert style, Gentzen style, goal directed style, labelled deductive system style, and so on.

678 pages, 2 black & white illustrations, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2010年12月7日
ISBN13 9789048151844
出版社 Springer
ページ数 670
寸法 160 × 231 × 36 mm   ·   934 g
編集者 D'Agostino, M.
編集者 Gabbay, Dov M.
編集者 Hahnle, Reiner
編集者 Posegga, J.

同じ出版社からのその他の記事

M D\'agostinoのすべてを見る