%0 Conference Paper %1 conf/dagstuhl/KautzTV05 %A Kautz, Henry A. %A Thomas, Wolfgang %A Vardi, Moshe Y. %B Synthesis and Planning %D 2005 %E Kautz, Henry A. %E Thomas, Wolfgang %E Vardi, Moshe Y. %I Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany %K dblp %T 05241 Executive Summary - Synthesis and Planning. %U http://dblp.uni-trier.de/db/conf/dagstuhl/P5241.html#KautzTV05 %V 05241

@inproceedings{conf/dagstuhl/KautzTV05, added-at = {2018-08-23T00:00:00.000+0200}, author = {Kautz, Henry A. and Thomas, Wolfgang and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/2dab44c3e817b299870737d1314189d1b/dblp}, booktitle = {Synthesis and Planning}, crossref = {conf/dagstuhl/2005P5241}, editor = {Kautz, Henry A. and Thomas, Wolfgang and Vardi, Moshe Y.}, ee = {http://drops.dagstuhl.de/opus/volltexte/2006/452}, interhash = {e0f1231863d645ad98a8add975adceef}, intrahash = {dab44c3e817b299870737d1314189d1b}, keywords = {dblp}, publisher = {Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany}, series = {Dagstuhl Seminar Proceedings}, timestamp = {2024-04-09T10:24:04.000+0200}, title = {05241 Executive Summary - Synthesis and Planning.}, url = {http://dblp.uni-trier.de/db/conf/dagstuhl/P5241.html#KautzTV05}, volume = 05241, year = 2005 }