Set theory for computing : from decision procedures to declarative programming with sets /

Set Theory for Computing offers an up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods. Mastering today's variety of systems with crisp, formal tools is a prerequisite for a high degree of control over sets and aggregates. The many algorith...

Full description

Bibliographic Details

Main Author:	Cantone, Domenico
Corporate Author:	SpringerLink (Online service)
Other Authors:	Omodeo, Eugenio, Policriti, Alberto
Format:	eBook
Language:	English
Published:	New York : Springer, [2001]
Series:	Monographs in computer science.
Subjects:	Set theory. Computable functions. Deklarative Programmierung. Mengenlehre. Berechenbare Funktion. Electronic books.
Online Access:	Connect to the full text of this electronic book