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
Reasoning with Logic Programming
1996
lmpbk96
-
Written book
José Júlio Alferes, Luís Moniz Pereira
-
LNAI 1111
Springer
Berlin
-
-
-
http://centria.di.fct.unl.pt/~lmp/publications/online-papers/lnai1111.pdf
Export formats
José Júlio Alferes and Luís Moniz Pereira, Reasoning with Logic Programming of LNAI 1111, Springer, Berlin, (http://centria.di.fct.unl.pt/~lmp/publications/online-papers/lnai1111.pdf), 1996.
<b><a href="http://centria.di.fct.unl.pt/people/members/view.php?code=6c74cfdbe88c7f9522c44ebcef69c8e7_amp_cscd=48c83d94168a6c3c4f01eb74378d40a0" class="author">José Júlio Alferes</a> and <a href="http://centria.di.fct.unl.pt/people/members/view.php?code=6175f826202ff877fba2ad77784cb9cb_amp_cscd=48c83d94168a6c3c4f01eb74378d40a0" class="author">Luís Moniz Pereira</a></b>, <u>Reasoning with Logic Programming</u> of LNAI 1111, <a href="http://www.springer.com" title="Link to external entity..." target="_blank" class="publisher">Springer</a>, Berlin, (<a href="http://centria.di.fct.unl.pt/~lmp/publications/online-papers/lnai1111.pdf" target="_blank">url</a>), 1996.
@book {lmpbk96, author = {Jos{\'e} J{\'u}lio Alferes and Lu\'{\i}s Moniz Pereira}, title = {Reasoning with Logic Programming}, series = {LNAI 1111}, publisher = {Springer}, address = {Berlin}, pages = {326}, url = {http://centria.di.fct.unl.pt/~lmp/publications/online-papers/lnai1111.pdf}, year = {1996}, }
Publication's urls
http://centria.di.fct.unl.pt/publications/view.php?code=bdbe545dd897a2ba3007ff7e74fff495
http://centria.di.fct.unl.pt/publications/view.php?code=lmpbk96
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