Search results for ‘Franz Baader (Rheinisch-Westfalische Technische Hochschule, Aachen, Germany),Tobias Nipkow (Technische Universitat Munchen)’

Filter & Refine

      Cover image for Term Rewriting and All That
      Paperback
      Add to list Added to list

      Term Rewriting and All That

      Franz Baader (Rheinisch-Westfalische Technische Hochschule, Aachen, Germany),Tobias Nipkow (Technische Universitat Munchen)

      This is a unified and self-contained introduction to term rewriting that can be used for advanced undergraduate courses or as a professional reference. The main algorithms are presented both informally…

      $93.99

      Available to order, ships in approx 2 weeksAvailable to order