| Номер документа в системі: | 155147 |
| Назва документа: | Математическое обеспечение систем логического вывода и дедуктивных построений на ЭВМ |
| Видавництво: | АН УССР, Ин-т кибернетики им. В.М.Глушкова |
| Місто видання: | Киев |
| Рік видання: | 1983 |
| УДК | 004.41(06) |
| Мова документу | Російська |
| Шифр документу | 681.3 |
| Кількість сторінок | 99 с. |