Automated Deduction in Classical and Non-Classical Logics: Selected Papers - Lecture Notes in Computer Science - R Caferra - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540671909 - 2000年2月9日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

R Caferra
Automated Deduction in Classical and Non-Classical Logics: Selected Papers - Lecture Notes in Computer Science 2000 edition

価格
¥ 8.928
税抜

遠隔倉庫からの取り寄せ

発送予定日 年8月10日 - 年8月20日
R Caferra の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

This title presents papers reflecting the status of research in automated deduction in classical and non-classical logics. Most of the results presented rely on resolution or tableaux methods with a few exceptions choosing the equational paradigm.

304 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 2000年2月9日
ISBN13 9783540671909
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 304
寸法 155 × 235 × 16 mm   ·   439 g
言語 フランス語  
編集者 Caferra, Ricardo
編集者 Salzer, Gernot

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

R Caferraのすべてを見る ( 例： Paperback Book )