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
Prospective Programming with ACORDA
August 21 2006
lmp2007
-
In proceedings
Gonçalo Lopes, Luís Moniz Pereira
Empirically Successful Computerized Reasoning (ESCoR'06) workshop at The 3rd International Joint Conference on Automated Reasoning (IJCAR'06)
-
-
Seattle, USA
-
-
-
-
-
-
Export formats
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.
<a href="http://centria.di.fct.unl.pt/people/members/view.php?code=70944c933ceb5d837aed2c1540ec2d6c_amp_cscd=a94cc5fe1a03e19b2956fbb36e44fe5a" class="author">Gonçalo Lopes</a> and <a href="http://centria.di.fct.unl.pt/people/members/view.php?code=6175f826202ff877fba2ad77784cb9cb_amp_cscd=a94cc5fe1a03e19b2956fbb36e44fe5a" 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.
@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
http://centria.di.fct.unl.pt/publications/view.php?code=4fda41966447e3dc2eaf2c5d1c1c3a7f
http://centria.di.fct.unl.pt/publications/view.php?code=lmp2007
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