Set theory for computing : from decision procedures to declarative programming with sets
Author(s)
Bibliographic Information
Set theory for computing : from decision procedures to declarative programming with sets
(Monographs in computer science)
Springer Verlag, c2001
Available at / 18 libraries
-
No Libraries matched.
- Remove all filters.
Note
Includes bibliographical references and index