In: Jürgen Giesl; Reiner Haehnle (Hrsg.). Proceeding of the 5th International Joint Conference on Automated Reasoning. International Joint Conference …
In: 10th International Conference on Artificial Intelligence and Symbolic Computation (AISC 2010). International Conference on Artificial Intelligence …
Michael Kohlhase; Johannes Lemburg; Lutz Schröder; Ewaryst Schulz