Verified Approximation Algorithms ‌ Robin Eßmann, Tobias Nipkow, Simon Robillard, Ujkan Sulejmani

Ստացեք ամբողջական տեքստը