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: 172.49 EUR
Availability: OutOfStock
Author: Domenico Cantone

Prijs

€ 172,49

Besteld in een afgelegen magazijn

Verwachte levering 11 - 25 aug.

Ontvang meldingen over nieuwe releases van Domenico Cantone

Onze klanten zeggen:

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

14 dagen retourrecht in overeenstemming met de Europese consumentenbeschermingswetgeving

Topnotering op Trustpilot

Voeg toe aan uw iMusic-verlanglijst

Nog niet beoordeeld

Ook verkrijgbaar als:

Paperback Book

Softcover reprint of the original 1st ed. 2001 edition

(2011) € 172,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

Media	Boeken Hardcover Book (Boek met harde rug en kaft)
Vrijgegeven	26 juni 2001
ISBN13	9780387951973
Uitgevers	Springer-Verlag New York Inc.
Pagina's	409
Afmetingen	155 × 235 × 23 mm · 739 g
Taal en grammatica	Engels
Deelnemer	J.T. Schwartz