Artículos relacionados a Set Theory for Computing: From Decision Procedures...

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

Libro 16 de 16: Monographs in Computer Science

Cantone, Domenico; Omodeo, Eugenio; Policriti, Alberto

 
9780387951973: Set Theory for Computing: From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)
Tapa dura
ISBN 10: 0387951970 ISBN 13: 9780387951973
Editorial: Springer, 2001

Sinopsis

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.

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.

Editorial
Springer
Año de publicación
2001
Idioma
Inglés
ISBN 10 
0387951970
ISBN 13 
9780387951973
Encuadernación
Tapa dura
Número de páginas
432
Contacto del fabricante
no disponible
Persona responsable
CMN Printpool Inh. Mathis Neumann
https://www.also.com/ec/cms5/en_6000/6000/index.jsp

Friedrich-Karl-Str. 9
Hamburg
Alemania