Instantiation Theory: on the Foundations of Automated Deduction - Lecture Notes in Computer Science - James G. Williams - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540543336 - 1991年8月7日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

James G. Williams
Instantiation Theory: on the Foundations of Automated Deduction - Lecture Notes in Computer Science 1991 edition

価格
¥ 8.486
税抜

遠隔倉庫からの取り寄せ

発送予定日 年12月1日 - 年12月11日
クリスマスプレゼントは1月31日まで返品可能です
James G. Williams の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

This monograph presents a new, general algorithm for use in building theorem provers and logic programming systems. The algorithm is based on a theory that may be developed into a general theory of logics. Appropriate applications of the algorithm and its underlying theory are given.

136 pages, biography

メディア 書籍     Paperback Book   (ソフトカバーで背表紙を接着した本)
リリース済み 1991年8月7日
ISBN13 9783540543336
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 136
寸法 155 × 235 × 8 mm   ·   217 g
言語 英語  

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

James G. Williamsのすべてを見る