Deduktionssysteme : Automatisierung des logischen Denkens

Карточка

Deduktionssysteme : Automatisierung des logischen Denkens / Hrsg. von K.H. Bläsius u. H.-J. Bürckert ; Mit Beitr. von K.H. Bläsius et al. - München; Wien : Oldenbourg, 1987. - VI, 179 с. : ил.; 24 см.; ISBN 3-486-20509-9
Вычислительная техника
FB 5:90-33/143-6

Marc21

Скачать marc21-запись
Скачать rusmarc-запись

Показать

Описание

ЗаглавиеDeduktionssysteme : Automatisierung des logischen Denkens
Дата поступления в ЭК 30.10.1990
Каталоги Книги (изданные с 1831 г. по настоящее время)
Сведения об ответственностиHrsg. von K.H. Bläsius u. H.-J. Bürckert ; Mit Beitr. von K.H. Bläsius et al.
Выходные данныеMünchen; Wien : Oldenbourg, 1987
Физическое описаниеVI, 179 с. : ил.; 24 см
ISBNISBN 3-486-20509-9
ТемаВычислительная техника
BBK-кодЗ97,0
ЯзыкНемецкий
Места храненияFB 5:90-33/143-6