Higher-Order Algebra, Logic, and Term Rewriting: Second International Worksh…
USD 43.08 USD
Specifications
| Release Year | 1996 |
| ISBN | 9783540612544 |
| Subject Area | Mathematics, Computers |
| Item Length | 9.3 in |
| Publication Year | 1996 |
| Type | Textbook |
| Format | Trade Paperback |
| Language | English |
| Author | Karl Meinke |
| Item Weight | 33.5 Oz |
| Item Width | 6.1 in |
| Number Of Pages | VIII, 296 Pages |
A nice touch in this textbook is the running glossary in the margins.
