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