|
ИСТИНА |
Войти в систему Регистрация |
ИСТИНА ЦЭМИ РАН |
||
О пропозициональной логике булевых рекурсивных программ с вхождением предикатных переменных в условиястатья
Статья опубликована в журнале из списка RSCI Web of Science
Статья опубликована в журнале из перечня ВАК- Автор: Расцветаев Александр Леонидович
- Журнал: Математические заметки
- Том: 48
- Номер: 3
- Год издания: 1990
- Издательство: МИАН
- Местоположение издательства: Москва
- Первая страница: 119
- Последняя страница: 127
- Добавил в систему: Золин Евгений Евгеньевич