The
Lib
.net
Online Library TheLib.net
» Тема, жанр, tags: Propositional calculus -- Congresses.,Algebra Boolean -- Congresses.,Computer algorithms -- Congress
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
0
0
29.01.2024
0
0
Read online
Авторизация
Запомнить
Войти на сайт
Регистрация
Восстановить пароль
Или войти через