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-запись
Скачать rusmarc-запись

Показать

Описание

Автор
ЗаглавиеWissensbasierte Verfahren zur Synthese mathematischer Beweise : Eine kombinatorische Anwendung
Дата поступления в ЭК 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