Fortæl dine venner om denne vare:
A Proof Theory for General Unification - Progress in Computer Science and Applied Logic W. Snyder 1991 edition
Pris
DKK 448
Bestilles fra fjernlager
Forventes klar til forsendelse 1. - 5. dec.
Julegaver kan byttes frem til 31. januar
Tilføj til din iMusic ønskeseddel
eller
Findes også som:
A Proof Theory for General Unification - Progress in Computer Science and Applied Logic
W. Snyder
In this monograph we study two generalizations of standard unification, E-unification and higher-order unification, using an abstract approach orig inated by Herbrand and developed in the case of standard first-order unifi cation by Martelli and Montanari.
178 pages, biography
| Medie | Bøger Hardcover bog (Bog med hård ryg og stift omslag) |
| Udgivet | 1. november 1991 |
| ISBN13 | 9780817635930 |
| Forlag | Birkhauser Boston Inc |
| Antal sider | 178 |
| Mål | 155 × 235 × 12 mm · 449 g |
| Sprog | Engelsk |
Se alt med W. Snyder ( f.eks. Hardcover bog og Paperback Bog )