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

0 valoración promedio
( 0 valoraciones por GoodReads )
 
9780387951973: Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)
Review:

From the reviews:

"The book is an up-to-date and well-organized collection of techniques and results concerning the problem of dealing with sets in computer science. … In particular, the book can be very interesting for postgraduate students and researchers in computer science and logic. … The book is largely self-contained and the style of presentation is extremely rigorous and accurate. ... this will become a sort of classic work for automated deduction and declarative programming and surely it deserves to find a place in all scientific libraries." (A. Dovier, Theory and Practise of Logic Programming, Vol. 3 (1), 2003)

"Set theory has played the role of a lingua franca for modern mathematics. The authors of this monograph intend to extend this service to computer science, artificial intelligence, and computational mathematics. … Several variants of ZF, which are meant for different applications, are surveyed and concrete, computable models are investigated. … There is an extensive list of references, an index of symbols and an index of terms." (J.M. Plotkin, Zentralblatt MATH, Vol. 981, 2002)

From the Publisher:

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.

"Sobre este título" puede pertenecer a otra edición de este libro.

Los mejores resultados en AbeBooks

1.

Cantone, Domenico; Omodeo, Eugenio; Policriti, Alberto
ISBN 10: 0387951970 ISBN 13: 9780387951973
Nuevos Cantidad: 3
Librería
Book Park
(Southfield, MI, Estados Unidos de America)
Valoración
[?]

Descripción Estado de conservación: New. Brand New Book. Nº de ref. de la librería 0387951970BYR

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 42,86
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

2.

Cantone, Domenico; Omodeo, Eugenio; Policriti, Alberto
ISBN 10: 0387951970 ISBN 13: 9780387951973
Nuevos Cantidad: 2
Librería
firstbookstore
(New Delhi, India)
Valoración
[?]

Descripción Estado de conservación: Brand New. Brand New Original US Edition, Perfect Condition. Printed in English. Excellent Quality, Service and customer satisfaction guaranteed!. Nº de ref. de la librería AIND-3290

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 42,86
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De India a Estados Unidos de America
Destinos, gastos y plazos de envío

3.

Cantone, Domenico; Omodeo, Eugenio; Policriti, Alberto
ISBN 10: 0387951970 ISBN 13: 9780387951973
Nuevos Cantidad: 2
Librería
Bookshub
(Karol Bagh, India)
Valoración
[?]

Descripción Estado de conservación: New. New. US edition. Perfect condition. Ship by express service to USA, Canada, Australia, France, Italy, UK, Germany and Netherland. Customer satisfaction our priority. Nº de ref. de la librería ABE-190516-25401

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 43,34
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De India a Estados Unidos de America
Destinos, gastos y plazos de envío

4.

Cantone, Domenico; Omodeo, Eugenio; Policriti, Alberto
ISBN 10: 0387951970 ISBN 13: 9780387951973
Nuevos Cantidad: 2
Librería
EBOOKSTORE2010
(New Delhi, ND, India)
Valoración
[?]

Descripción Estado de conservación: Brand New. New. US edition. Customer Satisfaction guaranteed!!. Nº de ref. de la librería SHAK25401

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 43,39
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
De India a Estados Unidos de America
Destinos, gastos y plazos de envío

5.

Cantone, Domenico; Omodeo, Eugenio; Policriti, Alberto
ISBN 10: 0387951970 ISBN 13: 9780387951973
Nuevos Cantidad: 2
Librería
Romtrade Corp.
(STERLING HEIGHTS, MI, Estados Unidos de America)
Valoración
[?]

Descripción Estado de conservación: New. Brand New Original US Edition.We Ship to PO BOX Address also. EXPEDITED shipping option also available for faster delivery. Nº de ref. de la librería AUSBNEW-3290

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 45,88
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

6.

Cantone, Domenico; Omodeo, Eugenio; Policriti, Alberto
Editorial: Springer (2001)
ISBN 10: 0387951970 ISBN 13: 9780387951973
Nuevos Tapa dura Cantidad: 1
Impresión bajo demanda
Librería
Ergodebooks
(RICHMOND, TX, Estados Unidos de America)
Valoración
[?]

Descripción Springer, 2001. Hardcover. Estado de conservación: New. 2001. This item is printed on demand. Nº de ref. de la librería DADAX0387951970

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 46,83
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,71
A Estados Unidos de America
Destinos, gastos y plazos de envío

7.

Cantone, Domenico; Omodeo, Eugenio; Policriti, Alberto
Editorial: Springer (2001)
ISBN 10: 0387951970 ISBN 13: 9780387951973
Nuevos Tapa dura Cantidad: 1
Librería
Irish Booksellers
(Rumford, ME, Estados Unidos de America)
Valoración
[?]

Descripción Springer, 2001. Hardcover. Estado de conservación: New. book. Nº de ref. de la librería 0387951970

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 52,02
Convertir moneda

Añadir al carrito

Gastos de envío: GRATIS
A Estados Unidos de America
Destinos, gastos y plazos de envío

8.

Cantone, Domenico; Omodeo, Eugenio; Policriti, Alberto
Editorial: Springer
ISBN 10: 0387951970 ISBN 13: 9780387951973
Nuevos Cantidad: 4
Impresión bajo demanda
Librería
Majestic Books
(London, ,, Reino Unido)
Valoración
[?]

Descripción Springer. Estado de conservación: New. pp. 409 This item is printed on Demand. Nº de ref. de la librería 7599987

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 57,14
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 6,51
De Reino Unido a Estados Unidos de America
Destinos, gastos y plazos de envío

9.

Cantone, Domenico; Omodeo, Eugenio; Policriti, Alberto
ISBN 10: 0387951970 ISBN 13: 9780387951973
Nuevos Cantidad: 1
Librería
Castle Rock
(Pittsford, NY, Estados Unidos de America)
Valoración
[?]

Descripción Estado de conservación: Brand New. Book Condition: Brand New. Nº de ref. de la librería 97803879519731.0

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 149,59
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,71
A Estados Unidos de America
Destinos, gastos y plazos de envío

10.

Cantone, Domenico; Omodeo, Eugenio; Policriti, Alberto
Editorial: Springer-Verlag New York Inc. (2001)
ISBN 10: 0387951970 ISBN 13: 9780387951973
Nuevos Cantidad: > 20
Impresión bajo demanda
Librería
PBShop
(Secaucus, NJ, Estados Unidos de America)
Valoración
[?]

Descripción Springer-Verlag New York Inc., 2001. HRD. Estado de conservación: New. New Book. Shipped from US within 10 to 14 business days. THIS BOOK IS PRINTED ON DEMAND. Established seller since 2000. Nº de ref. de la librería I1-9780387951973

Más información sobre esta librería | Hacer una pregunta a la librería

Comprar nuevo
EUR 154,48
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 3,71
A Estados Unidos de America
Destinos, gastos y plazos de envío

Existen otras copia(s) de este libro

Ver todos los resultados de su búsqueda