Set theory for computing : from decision procedures to declarative programming with sets
Domenico Cantone, Eugenio Omodeo, Alberto Policriti
Bok Engelsk 2001
Utgitt | Berlin : Springer , c2001
|
---|---|
Omfang | xviii, 409 s.
|
Emner | |
Dewey | |
ISBN | 0387951970
|
Utgitt | Berlin : Springer , c2001
|
---|---|
Omfang | xviii, 409 s.
|
Emner | |
Dewey | |
ISBN | 0387951970
|