Domenico Cantone, Eugenio G. Omodeo, Alberto Policriti. Set Theory for Computing - From Decision Procedures to Declarative Programming with Sets. Monographs in Computer Science, Springer, 2001. [doi]
No references recorded for this publication.
No citations of this publication recorded.