STAMPA - Sophisticated TAbling Mechanisms for Prolog and their ApplicationsFunding entity: Fundação Ciência e Tecnologia (MCTES). Principal researcher: Salvador Abreu. |
||
Departamento de Informática, FCT/UNL Quinta da Torre 2829-516 CAPARICA - Portugal Tel. (+351) 21 294 8536 FAX (+351) 21 294 8541 |