Towards learning new methods in proof planning

Mateja Jamnik, Manfred Kerber, Christoph Benzmuller, M Kohlhase

Research output: Contribution to conference (unpublished)Paper

Original languageEnglish
Pages141-156
Number of pages16
Publication statusPublished - 1 Jan 2001
EventSymbolic Calculation and Automated Reasoning: The Calculemus-2000 Symposium -
Duration: 1 Jan 2001 → …

Conference

ConferenceSymbolic Calculation and Automated Reasoning: The Calculemus-2000 Symposium
Period1/01/01 → …

Cite this