1 Hit in 6.5 sec

2012 Jahresbericht Annual Report Jahresbericht Annual Report

Kontakt Geschäftsstelle, Schloss Dagstuhl, Heike Clemens, Jutka Gasiorowski
2013 unpublished
Acknowledgments Many thanks to the Dagstuhl office and its helpful and patient staff; huge thanks to the organizers of the previous seminars in the series for setting us up for success; and thanks to all  ...  We also give special thanks to Kaisa Miettinen and Eckart Zitzler as they step down from the organizer role.  ...  Mechanizing Mathema- tical Reasoning, Essays in Honor of Jörg H. Siekmann on the Occasion of His 60th Birthday, volume 2605 of LNCS. Springer, 2005. 9 D. Hutter, W. Stephan, P. Traverso, and M.  ...