Back to first pageBack to first page Centre for Artificial Intelligence of UNL
Browse our site
You are here:

Publication details

Publication details
Main information
Computer Science Logic, CSL'09
2009
GK09
-
Book edition
Erich Grädel, Reinhard Kahle
5771
Lecture Notes in Computer Science
Springer
-
-
-
-
-
Export formats
Erich Grädel and Reinhard Kahle (eds), Computer Science Logic, CSL'09, Vol. 5771 of Lecture Notes in Computer Science, Springer, 2009.
Erich Grädel and <a href="http://centria.di.fct.unl.pt/people/members/view.php?code=2b403db3c66380c011a92d8f7831e542_amp_cscd=d6141b0fa6af929258ac8820af86961f" class="editor">Reinhard Kahle</a> (eds), <u>Computer Science Logic, CSL'09</u>, Vol. 5771 of Lecture Notes in Computer Science, <a href="http://www.springer.com" title="Link to external entity..." target="_blank" class="publisher">Springer</a>, 2009.
@book {GK09, editor = {Erich Gr{\"a}del and Reinhard Kahle}, title = {Computer Science Logic, CSL'09}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, volume = {5771}, year = {2009}, }
Publication's urls
http://centria.di.fct.unl.pt/publications/view.php?code=02c919694c854b8e0441290ecd4d09b0
http://centria.di.fct.unl.pt/publications/view.php?code=GK09
Centre for Artificial Intelligence of UNL
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541

POS_Conhecimento