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: 1077 CNY
Availability: OutOfStock
Author: Domenico Cantone

价格

元 1.077

不含税

远程仓调货

预计送达时间年6月22日 - 年7月2日

顾客评价：

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

根据欧洲消费者保护法享受14天退换货政策

Trustpilot平台高分认证

添加至iMusic心愿单

其他版本：

Hardcover Book

2001 edition

(2001) 元 1.251

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
语言	英语