Тема, жанр, tags: Propositional calculus -- Congresses.,Algebra Boolean -- Congresses.,Computer algorithms -- Congress » Online Library TheLib.net

Online Library TheLib.net » Тема, жанр, tags: Propositional calculus -- Congresses.,Algebra Boolean -- Congresses.,Computer algorithms -- Congress

book Theory and applications of satisfiability testing -- SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28-September 1, 2017, Proceedings

Theory and applications of satisfiability testing -- SAT 2017 : 20th International Conference, Melbourne, VIC, Australia, August 28-September 1, 2017, Proceedings

pdf

Author: Gaspers Serge, Walsh Toby
Language: English
Year: 2017

00

29.01.2024

0

0