H. Kautz, W. Thomas, and M. Vardi. Synthesis and Planning, volume 05241 of Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany, (2005)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%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
%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 = {2023-12-14T14:34:42.000+0100},
author = {Kautz, Henry A. and Thomas, Wolfgang and Vardi, Moshe Y.},
biburl = {https://www.bibsonomy.org/bibtex/2dab44c3e817b299870737d1314189d1b/admin},
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 = {},
publisher = {Internationales Begegnungs- und Forschungszentrum für Informatik (IBFI), Schloss Dagstuhl, Germany},
series = {Dagstuhl Seminar Proceedings},
timestamp = {2023-12-14T14:34:42.000+0100},
title = {05241 Executive Summary - Synthesis and Planning.},
url = {http://dblp.uni-trier.de/db/conf/dagstuhl/P5241.html#KautzTV05},
volume = 05241,
year = 2005
}