Domenico Cantone
Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets - Monographs in Computer Science Domenico Cantone Softcover reprint of the original 1st ed. 2001 edition

Name: Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets - Monographs in Computer Science
Price: 25368 JPY
Availability: OutOfStock
Author: Domenico Cantone

価格

¥ 25.368

税抜

遠隔倉庫からの取り寄せ

発送予定日年6月24日 - 年7月6日

お客様の声：

Top-vurdering på Google Reviews, baseret på tusinder af anmeldelser.

EU消費者保護法に基づく14日間の返品ポリシー

Trustpilotで高評価

iMusicのウィッシュリストに追加

他の形態でも入手可能：

Hardcover Book

2001 edition

(2001) ¥ 29.524

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

Domenico Cantone

Softcover reprint of the original 1st ed. 2001 edition

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

メディア	書籍 Paperback Book (ソフトカバーで背表紙を接着した本)
リリース済み	2011年9月21日
ISBN13	9781441929051
出版社	Springer-Verlag New York Inc.
ページ数	409
寸法	155 × 235 × 22 mm · 594 g
言語	英語