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
Computational Logic - CL 2000, Procs. of First International Conference on Computational Logic (CL 2000)
July 2000
CL2000
-
Book edition
J. Lloyd, V. Dahl, U. Furbach, M. Kerber, K. Lau, C. Palamidessi, Luís Moniz Pereira, Y. Sagiv, P. J. Stuckey
-
LNAI 1861
Springer
London, UK
-
-
-
-
-
-
Export formats
J. Lloyd and V. Dahl and U. Furbach and M. Kerber and K. Lau and C. Palamidessi and Luís Moniz Pereira and Y. Sagiv and P. J. Stuckey, Computational Logic - CL 2000, Procs. of First International Conference on Computational Logic (CL 2000), , LNAI 1861, Springer, London, UK, July 2000.
J. Lloyd, V. Dahl, U. Furbach, M. Kerber, K. Lau, C. Palamidessi, <a href="http://centria.di.fct.unl.pt/people/members/view.php?code=6175f826202ff877fba2ad77784cb9cb_amp_cscd=6fe13b90107ec4d2dbabbe13e76d85a7" class="author">Luís Moniz Pereira</a>, Y. Sagiv and P. J. Stuckey, <b>Computational Logic - CL 2000, Procs. of First International Conference on Computational Logic (CL 2000)</b>, , LNAI 1861, <a href="http://www.springer.com" title="Link to external entity..." target="_blank" class="publisher">Springer</a>, London, UK, July 2000.
@proceedings {CL2000, author = {J. Lloyd and V. Dahl and U. Furbach and M. Kerber and K. Lau and C. Palamidessi and Lu\'{\i}s Moniz Pereira and Y. Sagiv and P. J. Stuckey}, title = {Computational Logic - CL 2000, Procs. of First International Conference on Computational Logic (CL 2000)}, series = {LNAI 1861}, publisher = {Springer}, address = {London, UK}, month = {July}, year = {2000}, }
Publication's urls
http://centria.di.fct.unl.pt/publications/view.php?code=e921325ef7eedf4c50d10c6cb8219f44
http://centria.di.fct.unl.pt/publications/view.php?code=CL2000
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