Set Theory for Computing

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

From Decision Procedures to Declarative Programming with Sets

Szerző: Domenico Cantone, Eugenio Omodeo, Alberto Policriti

Nyelv:

Kötés: Puha kötésű

Kiadó: Springer-Verlag New York Inc.

Elérhetőség: Beszállítói készleten

Küldés 5-8 napon belül

57 597 Ft

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

Információk a könyvről

Szerző

Domenico Cantone, Eugenio Omodeo, Alberto Policriti

Nyelv

Angol

Kötés

Könyv - Puha kötésű

Kiadva

2011

oldal

409

EAN

9781441929051

ISBN

1441929053

Enbook ID

01421647

Kiadó

Springer-Verlag New York Inc.

Súly

652

Méretek

155 x 235 x 24

Teljes leírás

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.

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Leggyakrabban keresett

Categories

Authors

Publishers

Termékek

Termékek

Set Theory for Computing

From Decision Procedures to Declarative Programming with Sets

Információk a könyvről

Teljes leírás

Érdekelheti

Azok a vásárlók, akik ezt a könyvet megvásárolták, a következőket is megvásárolták