Gå direkte til innholdet
Set Theory for Computing
Spar

Set Theory for Computing

Set Theory for Computing offers an up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasoning methods.
Undertittel
From Decision Procedures to Declarative Programming with Sets
Opplag
Softcover reprint of the original 1st ed. 2001
ISBN
9781441929051
Språk
Engelsk
Vekt
310 gram
Utgivelsesdato
21.9.2011
Antall sider
409