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

Publication details

Go back
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="/people/members/view.php?code=6175f826202ff877fba2ad77784cb9cb" 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
/publications/view.php?code=e921325ef7eedf4c50d10c6cb8219f44
/publications/view.php?code=CL2000
Go back
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

Fundacao_FCT