Browse our site
About
People
Research Areas
Projects
Publications
Books
Book chapters
Journal articles
In proceedings
M. Sc. Dissertations
Ph. D. Dissertations
Technical reports
Events
Seminars
News
Management
You are here:
Home
Publications
View
Publication details
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="http://centria.di.fct.unl.pt/people/members/view.php?code=6c74cfdbe88c7f9522c44ebcef69c8e7_amp_cscd=64efa6121b3cfc849afd632544147b18" class="editor">José Júlio Alferes</a> and <a href="http://centria.di.fct.unl.pt/people/members/view.php?code=6175f826202ff877fba2ad77784cb9cb_amp_cscd=64efa6121b3cfc849afd632544147b18" 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:
http://centria.di.fct.unl.pt/publications/view.php?code=e7b0c5876dccf351f8811f4b2478a200
Friendly url:
http://centria.di.fct.unl.pt/publications/view.php?code=jja98:jaredit
Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541