OrDB
Paper
  Data
Goller C (1997)
A connectionist approach for learning search control heuristics for automated deduction systems
Technische Universitat Munchen
1997
Unpublished doctoral dissertation
Other categories referring to Goller C (1997)
Paper.References   (1)
Revisions: 1
Last Time: 7/27/2006 1:16:57 PM
Reviewer: System Administrator
Owner: System Administrator