Logic for Applications - Texts in Computer Science - Anil Nerode - 書籍 - Springer-Verlag New York Inc. - 9780387948935 - 1997年1月17日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Anil Nerode

Logic for Applications - Texts in Computer Science 2nd Ed. 1997 edition

価格
SEK 1.369
税抜

遠隔倉庫からの取り寄せ

発送予定日 年12月3日 - 年12月15日
クリスマスプレゼントは1月31日まで返品可能です

お客様の声：

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

他の形態でも入手可能：

Provides an introduction to mathematical logic which is attuned to the applications of logic in computer science. This work emphasizes the notion that deduction is a form of computation. It deals with topics such as resolution theorem proving, logic programming and non-classical logics - modal and intuitionistic.

476 pages, biography

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 1997年1月17日
ISBN13 9780387948935
出版社 Springer-Verlag New York Inc.
ページ数 476
寸法 156 × 234 × 26 mm   ·   816 g
言語 英語   フランス語  
すべて表示

Anil Nerodeの他の作品を見る

Anil Nerodeのすべてを見る ( 例： Paperback Book および Hardcover Book )