05241 Abstracts Collection - Synthesis and Planning - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi. 05241 Abstracts Collection - Synthesis and Planning. In Henry A. Kautz, Wolfgang Thomas, Moshe Y. Vardi, editors, Synthesis and Planning, 12.-17. June 2005. Volume 05241 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, 2005. [doi]

This author has not been identified. Look up 'Henry A. Kautz' in GoogleThis author has not been identified. Look up 'Wolfgang Thomas' in GoogleThis author has not been identified. Look up 'Moshe Y. Vardi' in Google

runs on WebDSL