Set Theory for Computing From Decision Procedures to Declarative Programming With Sets
Cantone, Domenico
Set Theory for Computing From Decision Procedures to Declarative Programming With Sets - New York Springer Publishing Company - Soft Binding 409
English
0-387-95197-0
--Computing
001.4226 KAM-D
Set Theory for Computing From Decision Procedures to Declarative Programming With Sets - New York Springer Publishing Company - Soft Binding 409
English
0-387-95197-0
--Computing
001.4226 KAM-D