Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets - Monographs in Computer Science - Domenico Cantone - 書籍 - Springer-Verlag New York Inc. - 9780387951973 - 2001年6月26日
カバー画像とタイトルが一致しない場合、正しいのはタイトルです

Domenico Cantone
Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets - Monographs in Computer Science 2001 edition

価格
¥ 29.829
税抜

遠隔倉庫からの取り寄せ

発送予定日 年7月21日 - 年8月6日
Domenico Cantone の新しいリリースのお知らせを受け取る

お客様の声：

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

まだ評価がありません

他の形態でも入手可能：

An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. This book is of interest to graduates and researchers in theoretical computer science and computational logic and automated reasoning.

409 pages, 1 black & white illustrations, biography

メディア 書籍     Hardcover Book   (ハードカバー付きの本)
リリース済み 2001年6月26日
ISBN13 9780387951973
出版社 Springer-Verlag New York Inc.
ページ数 409
寸法 155 × 235 × 23 mm   ·   739 g
言語 英語  
寄稿者 J.T. Schwartz

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

Domenico Cantoneのすべてを見る ( 例： Paperback Book , Hardcover Book および Book )