Learning search control knowledge for equational deduction
著者
書誌事項
Learning search control knowledge for equational deduction
（Dissertationen zur Künstlichen Intelligenz, Bd. 230）
Infix, c2000
大学図書館所蔵 全1件
注記
"infix ist ein Imprint der Akademischen Verlagsgesellschaft Aka GmbH" -- T.p. verso
Originally presented as the author's thesis (doctoral) -- Technischen Universität München, 2000
Includes bibliographical references (p. [164]-175) and index