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

Bibliographic Details
Main Author:	Cantone, Domenico
Other Authors:	Omodeo, Eugenio, Policriti, Alberto
Format:	Book
Language:	English
Published:	New York : Springer, [2001]
Series:	Monographs in computer science.
Subjects:	Set theory. Computable functions.

by Cantone, Domenico
Published 2001

Connect to the full text of this electronic book

eBook