Summary goes here
Gespeichert in:
| Format: | Buch |
|---|---|
| Sprache: | Englisch |
| Schlagworte: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| era | |
|---|---|
| format | Book |
| genre | |
| geographic | |
| id | 2a5c5192-9a7c-44f2-9cbc-ca32f2135138 |
| isbn | 0817635556 9780817635558 3764335556 9783764335557 |
| issn | |
| language | eng |
| physical | x, 135 pages :illustrations ;24 cm |
| publication | – publisher: Birkhäuser dateOfPublication: 1991 |
| publishDate | 1991 |
| subjects | |
| title | Canonical equational proofs / Leo Bachmair. |
| topic | Rewriting systems (Computer science) Equations. equations. Equations. Rewriting systems (Computer science) |