A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Filters
2012 Jahresbericht Annual Report Jahresbericht Annual Report
2013
unpublished
Preserved Fulltext
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. ...
fatcat:qmtsqeo23jcjffzwbvuoasqchq