Set Theory for Computing
From Decision Procedures to Declarative Programming with Sets (Monographs in Computer Science)
Edición de la obra Set theory for computing
| Autor | Domenico Cantone, Eugenio Omodeo, Alberto Policriti |
|---|---|
| Editorial | Springer |
| Fecha de publicación | June 26, 2001 |
| Idioma | inglés |
| Páginas | 409 |
| ISBN-13 | 9780387951973 |
| ISBN-10 | 0387951970 |
| OCLC | 46240279 |
| LCCN | 2001020446 |