Eusterbrock, Jutta <br/><br/>
Wissensbasierte Verfahren zur Synthese mathematischer Beweise  eine kombinatorische Anwendung 
von Jutta Eusterbrock 
 - 276 S  graph. Darst  21 cm 
 - Dissertationen zur künstlichen Intelligenz  10 .
 -  10 .
 - Dissertationen zur künstlichen Intelligenz  10 .
<br/><br/> Originally presented as the author's thesis (doctoral)--Stuttgart Universität, 1992 
<br/><br/>Zugl.: Stuttgart, Univ., Diss., 1992 
<br/><br/><label>ISBN: </label>3929037106 
<br/><br/><label>Nat. Bib. No.: </label>92,N30,0796  dnb 93,B01,0358  dnb 
<br/><br/><label>Nat. Bib. Agency Control No.: </label>920933866  DE-101 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Automatic programming (Computer science)
<br/><br/><label>Subjects--Index Terms: </label>Expert systems (Computer science) Computer algorithms 
<br/><br/><label>Index Terms--Genre/Form: </label><br/>Hochschulschrift
<br/><br/><label>LC Class. No.: </label>QA76.76.E95