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

R/17099/6.2
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 : 30000 р. - Текст : непосредственный.
Библиогр.:с.239-254.Указ.:с.255-269

ГРНТИ	УДК
50.05.03	004.42.047

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

Имеются экземпляры в отделах: всего 3 : ПНТ (1), (2)
Свободны: ПНТ (1), (2)
Копия:

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