Learning search control knowledge for equational deduction

Author(s)

    • Schulz, Stephan

Bibliographic Information

Learning search control knowledge for equational deduction

Stephan Schulz

（Dissertationen zur Künstlichen Intelligenz, Bd. 230）

Infix, c2000

Available at  / 1 libraries

Search this Book/Journal

Note

"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

Related Books： 1-1 of 1

Details

  • NCID
    BA63275663
  • ISBN
    • 3898382303
  • Country Code
    gw
  • Title Language Code
    eng
  • Text Language Code
    eng
  • Place of Publication
    Berlin
  • Pages/Volumes
    xiii, 182 p.
  • Size
    21 cm
  • Parent Bibliography ID
Page Top