Опис документа:
| |
Шифр: |
6 |
Авт. знак: |
М |
Назва: | Математическое обеспечение систем логического вывода и дедуктивных построений на ЭВМ |
Відповідальність: |
Капитанов Ю.В. |
Місто: | К. |
Рік: | 1983 |
Сторінок: | 96с. |
ББК: |
З9 |
Тип документу: |
Книга |
Пошук: заповніть хоча б одне з полів
|
|