First-order unification in combinations of equational theories
- Författare
- Erik Tidén
- Genre
- theses
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Tekniska högsk. | 1986 | Sverige, Stockholm | 25 sidor. 30 cm |
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Tekniska högsk. | 1986 | Sverige, Stockholm | 25 sidor. 30 cm |