|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ИНХС РАН |
||
Проверяющее тестирование бесповторных булевых функцийстатья
- Авторы: Вороненко А.А., Чистиков Д.В.
- Сборник: Синтаксис и семантика логических систем: Материалы 4-й Российской школы-семинара
- Год издания: 2012
- Место издания: Из-во ФГБОУ ВПО «Восточно-Сибирская государственная академия образования» Иркутск
- Первая страница: 35
- Последняя страница: 39
- Добавил в систему: Вороненко Андрей Анатольевич