Eusterbrock, Jutta - Wissensbasierte Verfahren zur Synthese mathematischer Beweise : Eine kombinatorische Anwendung

Экспресс-заказ фрагмента
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

(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)
Шифр хранения:
FB 15 93-2/4-0

Marc21

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

Показать

Описание

Автор
Заглавие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)
ISBNISBN 3-929037-10-6
BBK-кодЗ813.4,0
ЯзыкНемецкий
Места храненияFB 15 93-2/4-0