Mechanizing Mathematical Reasoning
Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday
- Editors
- (view affiliations)
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2605)
Also part of the Lecture Notes in Artificial Intelligence book sub series (LNAI, volume 2605)