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)

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.

"Sinopsis" puede pertenecer a otra edición de este libro.

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)

"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: 2
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 41,76
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
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 41,77
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: 1
Librería
Bookshub
(Karol Bagh, India)
Valoración
[?]

Descripción Estado de conservación: New. New. US edition. Perfect condition. Customer satisfaction our priority. Nº de ref. de la librería ABE-FEB-37434

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

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

4.

CANTONE DOMENICO ET.AL
ISBN 10: 0387951970 ISBN 13: 9780387951973
Nuevos Cantidad: 1
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 SHUB37434

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

Comprar nuevo
EUR 42,26
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
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 44,62
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 ET.AL
ISBN 10: 0387951970 ISBN 13: 9780387951973
Nuevos Cantidad: 1
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-37434

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

Comprar nuevo
EUR 44,63
Convertir moneda

Añadir al carrito

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

7.

Domenico Cantone
Editorial: Springer 2001-06-26 (2001)
ISBN 10: 0387951970 ISBN 13: 9780387951973
Nuevos Tapa dura Cantidad: 1
Librería
Lost Books
(AUSTIN, TX, Estados Unidos de America)
Valoración
[?]

Descripción Springer 2001-06-26, 2001. Hardcover. Estado de conservación: New. 1. 0387951970. Nº de ref. de la librería 512331

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

Comprar nuevo
EUR 54,14
Convertir moneda

Añadir al carrito

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

8.

Cantone, Domenico, Omodeo, Eugenio, Poli
Editorial: Springer (2017)
ISBN 10: 0387951970 ISBN 13: 9780387951973
Nuevos Tapa dura Cantidad: 2
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 63,26
Convertir moneda

Añadir al carrito

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

9.

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 87,62
Convertir moneda

Añadir al carrito

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

10.

Cantone, Domenico
Editorial: Springer (2016)
ISBN 10: 0387951970 ISBN 13: 9780387951973
Nuevos Paperback Cantidad: 1
Impresión bajo demanda
Librería
Ria Christie Collections
(Uxbridge, Reino Unido)
Valoración
[?]

Descripción Springer, 2016. Paperback. Estado de conservación: New. PRINT ON DEMAND Book; New; Publication Year 2016; Not Signed; Fast Shipping from the UK. No. book. Nº de ref. de la librería ria9780387951973_lsuk

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

Comprar nuevo
EUR 138,82
Convertir moneda

Añadir al carrito

Gastos de envío: EUR 4,33
De Reino Unido 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