TY  - BOOK
AU  - Eusterbrock,Jutta
TI  - Wissensbasierte Verfahren zur Synthese mathematischer Beweise: eine kombinatorische Anwendung
T2  - Dissertationen zur künstlichen Intelligenz
SN  - 3929037106
AV  - QA76.76.E95 
PY  - 1992///
CY  - Sankt Augustin
PB  - Infix
KW  - Automatic programming (Computer science)
KW  - Expert systems (Computer science)
KW  - Computer algorithms
KW  - Hochschulschrift
KW  - gnd-content
N1  - Originally presented as the author's thesis (doctoral)--Stuttgart Universität, 1992; Zugl.: Stuttgart, Univ., Diss., 1992
ER  -