Browse our site
About
People
Research Areas
Projects
Publications
Books
Book chapters
Journal articles
In proceedings
M. Sc. Dissertations
Ph. D. Dissertations
Technical reports
Seminars
News
You are here:
Home
Publications
View
Publication details
Go back
Publication details
Main information
Title:
Journal of Automated Reasoning
Publication date:
1998
Citation:
jja98:jaredit
Abstract:
-
Book edition
Editors:
José Júlio Alferes
,
Luís Moniz Pereira
Volume:
20
Series:
Special volume on Logics for Artificial Intelligence
Publisher:
-
Address:
-
ISBN:
-
ISSN:
-
Note:
-
Url address:
-
Export formats
Plain text:
José Júlio Alferes and Luís Moniz Pereira (eds), Journal of Automated Reasoning, Vol. 20 of Special volume on Logics for Artificial Intelligence, 1998.
HTML:
<a href="/people/members/view.php?code=6c74cfdbe88c7f9522c44ebcef69c8e7" class="editor">José Júlio Alferes</a> and <a href="/people/members/view.php?code=6175f826202ff877fba2ad77784cb9cb" class="editor">Luís Moniz Pereira</a> (eds), <u>Journal of Automated Reasoning</u>, Vol. 20 of Special volume on Logics for Artificial Intelligence, 1998.
BibTeX:
@book {jja98:jaredit, editor = {Jos{\'e} J{\'u}lio Alferes and Lu\'{\i}s Moniz Pereira}, title = {Journal of Automated Reasoning}, series = {Special volume on Logics for Artificial Intelligence}, volume = {20}, year = {1998}, }
Publication's urls
Full url:
/publications/view.php?code=e7b0c5876dccf351f8811f4b2478a200
Friendly url:
/publications/view.php?code=jja98:jaredit
Go back
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541