On the elimination of redundant refutations in logic programs
- Författare
- Henrik Boström
- (Henrik Boström.)
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| DSV | 1991 | Sverige, Stockholm | 9 sidor. |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| DSV | 1991 | Sverige, Stockholm | 9 sidor. |