Tallenna
Set Theory for Computing
Kirjailija:
nidottu, 2011
englanti
Set Theory for Computing offers an up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods.
- Alaotsikko
- From Decision Procedures to Declarative Programming with Sets
- Kirjailija
- Domenico Cantone, J.T. Schwartz, Eugenio Omodeo, Alberto Policriti
- Painos
- Softcover reprint of the original 1st ed. 2001
- ISBN
- 9781441929051
- Kieli
- englanti
- Paino
- 310 grammaa
- Julkaisupäivä
- 21.9.2011
- Kustantaja
- Springer-Verlag New York Inc.
- Sivumäärä
- 409
