Set Theory for Computing
From Decision Procedures to Declarative Programming with Sets
Dostupnost:
Skladem u dodavatele v malém množství
Odesíláme za 13-18 dnů
3 937
Kč
An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasonin...
