Set Theory for Computing
From Decision Procedures to Declarative Programming with Sets
Dostupnost:
Skladem u dodavatele
Odesíláme za 5-8 dnů
3 426
Kč
An up-to-date and comprehensive account of set-oriented symbolic manipulation and automated reasonin...