Terese

Sidebar

Availability

Price

$
to
$

Product type

Format

Author

Filter
  • 10
  • 15
  • 20
  • 25
  • 30
  • 50
  • Featured
  • Most relevant
  • Best selling
  • Alphabetically, A-Z
  • Alphabetically, Z-A
  • Price, low to high
  • Price, high to low
  • Date, old to new
  • Date, new to old
Sort

Sort by:

  • Featured
  • Most relevant
  • Best selling
  • Alphabetically, A-Z
  • Alphabetically, Z-A
  • Price, low to high
  • Price, high to low
  • Date, old to new
  • Date, new to old
  • Term Rewriting Systems by Klop, Jan Willem
    Terese

    Term Rewriting Systems

    Term rewriting systems, which developed out of mathematical logic, consist of sequences of discrete steps where one term is replaced with another. Their many applications range from automatic theorem proving systems to computer algebra. This book begins with several examples, followed by a chapter...
    $255.00
    $255.00
    $255.00

Recently Viewed Products