From MKRP to OMEGA

Manfred Kerber, 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{bb9f00593c1740de88490afca9a4398a,

title = "From MKRP to OMEGA",

author = "Manfred Kerber 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",

}