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

4 valoración promedio
( 1 valoraciones por GoodReads )
 
9780387951973: Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)
Críticas:

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)

Reseña del editor:

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, D.; OMODEO, EUGENIO; POLICRITI, A.
ISBN 10: 0387951970 ISBN 13: 9780387951973
Nuevos Cantidad: 1
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 44,20
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 ET.AL
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-BOOK-32457

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

Comprar nuevo
EUR 44,21
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 ET.AL
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 44,70
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 ET.AL
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 SHUB32457

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

Comprar nuevo
EUR 45,19
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 ET.AL
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-FEB-32457

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

Comprar nuevo
EUR 45,23
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

6.

CANTONE DOMENICO ET.AL
ISBN 10: 0387951970 ISBN 13: 9780387951973
Nuevos Cantidad: 2
Librería
Basi6 International
(Irving, TX, Estados Unidos de America)
Valoración
[?]

Descripción Estado de conservación: Brand New. New, US edition. Excellent Customer Service. Nº de ref. de la librería ABEUSA-32457

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

Comprar nuevo
EUR 46,73
Convertir moneda

Añadir al carrito

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

7.

CANTONE DOMENICO ET.AL
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 47,76
Convertir moneda

Añadir al carrito

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

8.

Domenico Cantone, Eugenio Omodeo, Alberto Policriti, J.T. Schwartz (Foreword)
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 48,09
Convertir moneda

Añadir al carrito

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

9.

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 51,90
Convertir moneda

Añadir al carrito

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

10.

Cantone, Domenico, Omodeo, Eugenio, Poli
Editorial: Springer (2017)
ISBN 10: 0387951970 ISBN 13: 9780387951973
Nuevos Tapa dura Cantidad: 3
Impresión bajo demanda
Librería
Murray Media
(North Miami Beach, FL, Estados Unidos de America)
Valoración
[?]

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

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

Comprar nuevo
EUR 57,55
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 2,77
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