автор: Stefan Szeider поддержка1 Электронные книги Stefan Szeider Ofer Strichman & Stefan Szeider: Theory and Applications of Satisfiability Testing — SAT 2010 … PDF английский DRM €57.37 0 0 касса 0,00 × × × Изменить язык пользователя × арабскийНемецкийанглийскийиспанскийФранцузскийхиндииндонезийскийитальянскиймалайскийнидерландский языкпольскийпортугальскийрумынскийрусскийшведскийтайскийтурецкийукраинецвьетнамскийкитайский языкInternational Modal ×
