Тема, жанр, 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

book Logic, Computation, Hierarchies

Logic, Computation, Hierarchies

djvu

Author: Brattka Vasco, Diener Hannes, Selivanov Victor, Spreen Dieter (eds.)
Language: English
Year: 2014

00

29.01.2024

0

0