|
Левкин И. В. (Игорь Васильевич) |
|
Вывод в логике предикатов |
|
(материалы спец. курса) : учебное пособие |
|
Текстовое (символьное) электронное издание |
|
г. Барнаул |
| Издатель |
ФГБОУ ВО "Алтайский государственный технический университет им. И. И. Ползунова" |
|
2026 |
|
https://portal.altstu.ru/elib/download?id=120120 |
|
свободный |
| Дата обращения |
09.11.2026 |
|
0522600697 |