Explanation-based transformation of logic programs
- Författare
- Henrik Boström
- (Henrik Boström.)
- Genre
- theses
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Univ., Akademitr. | 1993 | Sverige, Stockholm, Edsbruk | [10], 178 sidor. diagr. 25 cm |