Canonical equational proofs
- Författare
- Leo Bachmair
- (Leo Bachmair.)
- Språk
- Engelska
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
Birkhäuser | 1991 | Tyskland, Basel, Boston | x, 135 sidor. ill. |
Förlag | År | Ort | Om boken | ISBN |
---|---|---|---|---|
Birkhäuser | 1991 | Tyskland, Basel, Boston | x, 135 sidor. ill. |