Матемтаическое обеспечение систем логического вывода и дедуктивных построений на ЭВМ | Мемориальная библиотека А.П. Ершова

Вы здесь

Количество экземпляров:

1

Колл. автор:

Ин-т кибернетики АН Украины

Вид:

Сборник или журнал

Год:

1983

Ключевые слова:

логический

дедуктивный

Стр.:

98 с.

Место издания:

Карточка:

В1.1, В2.11.

Матемтаическое обеспечение систем логического вывода и дедуктивных построений на ЭВМ-Киев., 1983.-98 с.

Таблица в старой библиотеке:

MONO1 143