Revision, Acceptability and Context: Theoretical and Algorithmic Aspects - Cognitive Technologies - Dov M. Gabbay - 書籍 - Springer-Verlag Berlin and Heidelberg Gm - 9783642141584 - 2010年8月8日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Dov M. Gabbay
Revision, Acceptability and Context: Theoretical and Algorithmic Aspects - Cognitive Technologies 2010 edition

商品が入荷したらメールで通知を受け取る
プロフィールはありますか？ ログイン
Dov M. Gabbay の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

Revision for a foreign logic is done via its translation into a well-known logic, usually classic logic. Secondly, the technique of meta-level/object-level movement, where we bring some operation defined at the meta-level of a logic into its object level.

386 pages, 45 black & white illustrations, biography

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 2010年8月8日
ISBN13 9783642141584
出版社 Springer-Verlag Berlin and Heidelberg Gm
ページ数 386
寸法 155 × 235 × 22 mm   ·   758 g
言語 ドイツ語  

Dov M. Gabbayの他の作品を見る

すべて表示

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

Dov M. Gabbayのすべてを見る ( 例： Hardcover Book , Paperback Book および Book )