Explanation-Based Transformation of Logic Programs
Salvato in:
| Autore principale: | |
|---|---|
| Natura: | Libro |
| Lingua: | inglese |
| Pubblicazione: |
Stockholm :
Stockholm University,
1993
|
| Tags: |
Nessun Tag, puoi essere il primo ad aggiungerne!!
|
Documenti analoghi: Explanation-Based Transformation of Logic Programs
- Logic-Based Program Synthesis and Transformation: 8th International Workshop, LOPSTR ´98, Manchester UK, June 1998 /
- Extending Explanation-based learning by generalizing the structure of explanations /
- Logic and data bases /
- Logic Programming Systematic Program Development
- Logic Programming and Databases
- Logic programming and databases /