32.81
Л 69
Логика и компьютер [Текст] : Моделирование рассуждений и проверка правильности программ : монография / Н. А. Алешина [и др.]. - М. : Наука, 1990. - 240 с. - 32.81 Л69. - ББК 32.81
MeSH-головна:
ЛОГИКА
КОМПЬЮТЕРЫ
Дод.точки доступу:
Алешина, Н.А.; Анисимов, А.М.; Быстров, П.И.; Герасимова, И.А.; Меськов, В.С.; Непейвода, Н.Н.; Смирнов, В.А.; Стеблецова, В.Н.; Шалак, В.И.
Примірників всього: 2
КХ (2)
Свободны: КХ (2)
|