Wissensbasierte Verfahren zur Synthese mathematischer Beweise
Subtitle: eine kombinatorische Anwendung
By: von Jutta Eusterbrock.
Series: Dissertationen zur künstlichen Intelligenz,; Bd. 10
Publisher: Infix
Published: 1992
Place of publication: Sankt Augustin
Language: ger
Number of pages: 276
Subjects: Expert systems (Computer science); Computer algorithms.
Notes: Includes bibliographical references (p. [259]-269) and index.
Originally presented as the author's thesis (doctoral)--Stuttgart Universität, 1992.