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

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

Cena

€ 170,49

Naročeno iz oddaljenega skladišča

Predvidena dobava 11. - 25. avg

Prejemajte obvestila o novih izdajah izvajalca Domenico Cantone

Kaj pravijo naše stranke:

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

14-dnevna politika vračila v skladu z evropsko zakonodajo o varstvu potrošnikov

Najvišja ocena na Trustpilot

Dodaj na svoj seznam želja iMusic

Not rated yet

Na voljo tudi kot:

Paperback Book

Softcover reprint of the original 1st ed. 2001 edition

(2011) € 170,49

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

Domenico Cantone

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

Medij	Knjige Hardcover Book (Knjiga s trdim hrbtom in platnicami)
Izdano	26. junija 2001
ISBN13	9780387951973
Založniki	Springer-Verlag New York Inc.
Strani	409
Dimenzije	155 × 235 × 23 mm · 739 g
Jezik	Angleščina
Sodelujoči	J.T. Schwartz