Set Theory for Computing
From Decision Procedures to Declarative Programming with Sets
Dostępność:
Dostępna u dostawcy
Wysyłamy za 5-8 dni
633.67
zł
An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasonin...
