Полное описание

Bibel, W. Deduktion : Automatisierung der Logik / W.Bibel;Unter Mitarbeit von S.Holldobler. - Munchen ; Wien : Oldenbourg, 1992. - 269 S. : Ill. - (Handbuch der Informatik / Hrsg.:A.Endres et al. ; Bd.6.2). - ISBN 3-486-20785-7. - Текст : непосредственный.
Библиогр.:с.239-254.Указ.:с.255-269

ГРНТИ	УДК
50.05.03	004.42.047

Рубрики:
Программирование для ЭВМ логическое

Держатели документа:
Государственная публичная научно-техническая библиотека России : 123298, г. Москва, ул. 3-я Хорошевская, д. 17 (Шифр в БД-источнике (KATBW): R/17099/6.2)

Шифр в сводном ЭК: c8100bb6bf5cc513b3104305f4ef0994

Заказать издание
Заказ фрагмента документа ₽