Search Results - "QA267 .B32 1991"

  • Showing 1 - 2 results of 2
Refine Results
  1. 1

    Canonical equational proofs / by Bachmair, Leo

    Published 1991
    “…QA267 .B32 1991…”
    Book
  2. 2

    Canonical equational proofs by Bachmair, Leo

    Published 1991
    “…QA267 .B32 1991…”
    Full Text (via Springer)
    Electronic eBook
Search Tools: RSS Feed Save Search