Дискретная математика. Формально-логические системы и языки
A

Дискретная математика. Формально-логические системы и языки

Математика
discrete mathematics formal logic systems boolean functions Prolog finite automata temporal logic axiomatic programming
Автор
С. М. Авдошин, А. А. Набебин
Издательство
ДМК Пресс
Год
2018
Язык
Русский
33
Оцените книгу

Чтобы читать книгу, войдите / зарегистрируйтесь