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...
| Main Author: | |
|---|---|
| Corporate Author: | |
| Other Authors: | , |
| Format: | eBook |
| Language: | English |
| Published: |
New York :
Springer,
[2001]
|
| Series: | Monographs in computer science.
|
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
Search Result 1