Set Theory for Computing

Name: Set Theory for Computing
Brand: Springer-Verlag New York Inc.
SKU: 9781441929051
Price: 149.57 EUR
Availability: InStock

From Decision Procedures to Declarative Programming with Sets

Autor: Domenico Cantone, Eugenio Omodeo, Alberto Policriti

Jazyk:

Väzba: Brožovaná

Vydavateľ: Springer-Verlag New York Inc.

Dostupnosť: Skladom u dodávateľa

Odosielame za 5-8 dní

149.57 €

An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasonin...

Informácie o knihe

Autor

Domenico Cantone, Eugenio Omodeo, Alberto Policriti

Jazyk

Angličtina

Väzba

Kniha - Brožovaná

Vydalo

2011

Stránok

409

EAN

9781441929051

ISBN

1441929053

Enbook ID

01421647

Vydavateľ

Springer-Verlag New York Inc.

Hmotnosť

652

Rozmery

155 x 235 x 24

Kompletný popis

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.

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Najčastejšie vyhľadávané

Categories

Authors

Publishers

Produkty

Produkty

Set Theory for Computing

From Decision Procedures to Declarative Programming with Sets

Informácie o knihe

Kompletný popis

Mohlo by vás zaujímať

Zákazníci, ktorí si kúpili túto knihu, kúpili tiež