Theory Reasoning in Connection Calculi - Lecture Notes in Computer Science - Peter Baumgartner - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783540655091 - 1998年12月18日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Peter Baumgartner
Theory Reasoning in Connection Calculi - Lecture Notes in Computer Science 1998 edition

価格
¥ 8.849
税抜

遠隔倉庫からの取り寄せ

発送予定日 年7月20日 - 年7月30日

お客様の声：

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

まだ評価がありません

Theory reasoning is about techniques for combining automated reasoning systems with specialized and efficient modules for handling domain knowledge called background reasoners. Connection methods have proved to be a good choice for implementing high-speed automated reasoning systems.

290 pages, biography

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

Peter Baumgartnerの他の作品を見る

すべて表示

Mere med samme udgiver

Peter Baumgartnerのすべてを見る ( 例： Paperback Book , Book および CD )