DPLL-Алгоритм

DPLL-Алгоритм

Jesse Russell Ronald Cohn

     

бумажная книга



ISBN: 978-5-5099-0999-3