In: P. Perner; A. Imiya (Hrsg.). Machine Learning and Data Mining in Pattern Recognition. International Conference on Machine Learning and Data Mining …
In: Proceedings of The 12th Workshop on Automated Reasoning (ARW 2005)-- Bridging the gap between theory and practice. Workshop on Automated Reasoning …
In: Dieter Hutter; Werner Stephan (Hrsg.). Mechanizing Mathematical Reasoning: Essays in Honor of Jörg Siekmann on the Occasion of His 60th Birthday. …