Set Theory for Computing
From Decision Procedures to Declarative Programming with Sets
Disponibilitate:
În depozitul extern
Expediem în 5-8 zile
829.32
lei
An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasonin...
