Eusterbrock, Jutta. - Wissensbasierte Verfahren zur Synthese mathematischer Beweise : Eine kombinatorische Anwendung / Von Jutta Eusterbrock. - Sankt Augustin : Infix, Cop._1992. - 276, [12] с. : ил.; 21 см. - (DISKI : Diss. zur künstlichen Intelligenz / Mit Unterstützung des Fachbereichs 1 "Künstliche Intelligenz" der Ges. für Informatik e.V., ISSN ISSN_0941-5769; Bd. 00210).; ISBN 3-929037-10-6
Карточка
Экспресс-заказ фрагмента
Eusterbrock, Jutta.
Wissensbasierte Verfahren zur Synthese mathematischer Beweise : Eine kombinatorische Anwendung / Von Jutta Eusterbrock. - Sankt Augustin : Infix, Cop._1992. - 276, [12] с. : ил.; 21 см. - (DISKI : Diss. zur künstlichen Intelligenz / Mit Unterstützung des Fachbereichs 1 "Künstliche Intelligenz" der Ges. für Informatik e.V., ISSN ISSN_0941-5769; Bd. 00210).; ISBN 3-929037-10-6
Шифр хранения:
Wissensbasierte Verfahren zur Synthese mathematischer Beweise : Eine kombinatorische Anwendung / Von Jutta Eusterbrock. - Sankt Augustin : Infix, Cop._1992. - 276, [12] с. : ил.; 21 см. - (DISKI : Diss. zur künstlichen Intelligenz / Mit Unterstützung des Fachbereichs 1 "Künstliche Intelligenz" der Ges. für Informatik e.V., ISSN ISSN_0941-5769; Bd. 00210).; ISBN 3-929037-10-6
Шифр хранения:
FB 15 93-2/4-0
Описание
Автор | Eusterbrock, Jutta |
---|---|
Заглавие | Wissensbasierte Verfahren zur Synthese mathematischer Beweise : Eine kombinatorische Anwendung |
Коллекции ЭК РГБ | Каталог документов с 1831 по настоящее время |
Дата поступления в ЭК РГБ | 02.02.1993 |
Каталоги | Книги (изданные с 1831 г. по настоящее время) |
Сведения об ответственности | Von Jutta Eusterbrock |
Выходные данные | Sankt Augustin : Infix, Cop._1992 |
Физическое описание | 276, [12] с. : ил.; 21 см |
Серия | (DISKI : Diss. zur künstlichen Intelligenz / Mit Unterstützung des Fachbereichs 1 "Künstliche Intelligenz" der Ges. für Informatik e.V., ISSN ISSN_0941-5769; Bd. 00210) |
ISBN | ISBN 3-929037-10-6 |
BBK-код | З813.4,0 |
Язык | Немецкий |
Места хранения | FB 15 93-2/4-0 |