Canonical equational proofs
Leo Bachmair
Bok Engelsk 1991
| Utgitt | Boston : Birkhäuser , 1991
|
|---|---|
| Omfang | x, 135 s. : ill.
|
| Opplysninger | "Based in part on author's thesis (Ph. D.)--University of Illinois at Urbana-Champaign, 1987" - Forordet
|
| Emner | |
| ISBN | 0817635556. - 3764335556
|
