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 |
Publication series
Name | Lecture Notes in Artificial Intelligence |
---|---|
Publisher | Springer |
Volume | 2605 |