Leaning search control knowlledge for equational deduction
By: Stephan Schulz.
Series: Dissertationen zur künstlichen Intelligenz -- 230
Publisher: AKA
Published: 2007
Place of publication: Berlin
Language: eng
Number of pages: 182
Subjects: Automatic theorem proving.; Heuristic programming.
Notes: Thesis (Dr. rer. nat.)--Technische Universität München, 2000.

Includes bibliographical references (p. [164]-175) and index.