Set Theory for Computing. From Decision Procedures to Declarative Programming with Sets

D. Cantone, E. G. Omodeo, Alberto Policriti
2001-01-01
Cite
Type
Book
Publication
Springer-Verlag

Related