01309nam0 22003613i 450 PUV010088720251003044310.00817635556Boston3764335556Basel20081030d1991 ||||0itac50 baengusz01i xxxe z01nCanonical equational proofsLeo BachmairBoston [etc.]Birkhauser1991X, 135 p.25 cmProgress in theoretical computer scienceBibliografia: P. 117-127.001MIL01083422001 Progress in theoretical computer scienceEquazioniFIRCFIC092310EVideoscritturaFIRCFIC003015E511.3LOGICA MATEMATICA (LOGICA SIMBOLICA)14511.3LOGICA MATEMATICA (LOGICA SIMBOLICA)22Bachmair, LeoPUVV066545070771392ITIT-00000020081030IT-BN0095 NAP 01SALA DING $PUV0100887Biblioteca Centralizzata di Ateneo1 v. 01SALA DING 511.3 BAC.ca 0102 0000009755 VMA A4 1 v.Y 2008103020081030 01Canonical equational proofs1574093UNISANNIO