J�rg Siekmann profile picture

J�rg Siekmann

Is this your author profile? Create an account to customize it!

Stand Alone

10th International Conference on Automated Deduction: Kaiserslautern, Frg, July 24-27, 1990 Proceedings (Lecture Notes in Computer Science 449)
Algorithmic Learning for Knowledge-Based Systems: GOSLER Final Report (Lecture Notes in Computer Science, 961)