Bridging theorem proving and mathematical knowledge retrieval

C Benzmuller, A Meier, Volker Sorge, D Hutter, W Stephan

Research output: Chapter in Book/Report/Conference proceeding › Chapter

Original language	English
Title of host publication	Mechanizing Mathematical Reasoning: Essays in Honor of Jorg H Siekmann on the Occasion of His 60th Birthday
Publication status	Published - 1 Jan 2005

Name	Lecture Notes in Artificial Intelligence
Publisher	Springer
Volume	2605

Cite this

@inbook{b7db6bbee5f24f209a0d7d5c0dd47051,

title = "Bridging theorem proving and mathematical knowledge retrieval",

author = "C Benzmuller and A Meier and Volker Sorge and D Hutter and W Stephan",

year = "2005",

month = jan,

day = "1",

language = "English",

series = "Lecture Notes in Artificial Intelligence",

publisher = "Springer",

booktitle = "Mechanizing Mathematical Reasoning: Essays in Honor of Jorg H Siekmann on the Occasion of His 60th Birthday",

}