Centre for Artificial Intelligence of UNL

Browse our site

About

People

Research Areas

Projects

Publications

Seminars

News

You are here:

Publication details

Publication details

Main information

Title:	Prospective Programming with ACORDA
Publication date:	August 21 2006
Citation:	lmp2007
Abstract:	-

In proceedings

Authors:	Gonçalo Lopes, Luís Moniz Pereira
Book title:	Empirically Successful Computerized Reasoning (ESCoR'06) workshop at The 3rd International Joint Conference on Automated Reasoning (IJCAR'06)
Series:	-
Publisher:	-
Address:	Seattle, USA
Volume:	-
Pages:	-
ISBN:	-
ISSN:	-
Note:	-
Url address:	-

Export formats

Plain text:	Gonçalo Lopes and Luís Moniz Pereira, Prospective Programming with ACORDA, , Empirically Successful Computerized Reasoning (ESCoR'06) workshop at The 3rd International Joint Conference on Automated Reasoning (IJCAR'06), Seattle, USA, August 21 2006.
HTML:	<a href="/people/members/view.php?code=70944c933ceb5d837aed2c1540ec2d6c" class="author">Gonçalo Lopes</a> and <a href="/people/members/view.php?code=6175f826202ff877fba2ad77784cb9cb" class="author">Luís Moniz Pereira</a>, <b>Prospective Programming with ACORDA</b>, <u>Empirically Successful Computerized Reasoning (ESCoR'06) workshop at The 3rd International Joint Conference on Automated Reasoning (IJCAR'06)</u>, Seattle, USA, August 21 2006.
BibTeX:	@inproceedings {lmp2007, author = {Gon\c{c}alo Lopes and Lu\'{\i}s Moniz Pereira}, title = {Prospective Programming with ACORDA}, booktitle = {Empirically Successful Computerized Reasoning (ESCoR'06) workshop at The 3rd International Joint Conference on Automated Reasoning (IJCAR'06)}, address = {Seattle, USA}, month = {August}, year = {2006}, }

Publication's urls

Full url:	/publications/view.php?code=4fda41966447e3dc2eaf2c5d1c1c3a7f
Friendly url:	/publications/view.php?code=lmp2007

Departamento de Informática, FCT/UNL
Quinta da Torre 2829-516 CAPARICA - Portugal
Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541