LearnΩmatic: System description

@inproceedings{Jamnik2002LearnmaticSD,
  title={LearnΩmatic: System description},
  author={Mateja Jamnik and Manfred Kerber and Martin Pollet},
  year={2002}
}

Citations

Publications citing this paper.
SHOWING 1-3 OF 3 CITATIONS

Automatic Learning of Proof Methods in Proof Planning

VIEW 11 EXCERPTS
CITES METHODS
HIGHLY INFLUENCED

Learning Strategies for Mechanised Building of Decision Procedures

  • Electr. Notes Theor. Comput. Sci.
  • 2003
VIEW 2 EXCERPTS
CITES BACKGROUND & METHODS

Similar Papers