Utilize este identificador para referenciar este registo:
http://hdl.handle.net/10362/70209| Título: | SLX - A TOP-DOWN DERIVATION PROCEDURE FOR PROGRAMS WITH EXPLICIT NEGATION |
| Autor: | Damásio, Carlos Augusto Isaac Piló Viegas Alferes, José Júlio Alves |
| Data: | 1-Jan-1994 |
| Citação: | Damásio, C. A. I. P. V., & Alferes, J. J. A. (1994). SLX - A TOP-DOWN DERIVATION PROCEDURE FOR PROGRAMS WITH EXPLICIT NEGATION. In MIT PRESS SERIES IN LOGIC PROGRAMMING (pp. 424-438) https://dl.acm.org/citation.cfm?id=200652 |
| Peer review: | yes |
| URI: | https://dl.acm.org/citation.cfm?id=200652 |
| ISBN: | 0-262-52191-1 |
| Aparece nas colecções: | Home collection (FCT) |
Ficheiros deste registo:
| Ficheiro | Descrição | Tamanho | Formato | |
|---|---|---|---|---|
| ilps94.pdf | 563,51 kB | Adobe PDF | Ver/Abrir |
Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.
