Vinkkaa tuotetta kavereillesi:
A Proof Theory for General Unification - Progress in Computer Science and Applied Logic 1991 edition
W. Snyder
Hinta
₩ 82.720
Tilattu etävarastosta
Arvioitu toimitus pe - ma 4. - 14. heinä
Lisää iMusic-toivelistallesi
Eller
Löytyy myös muodossa:
A Proof Theory for General Unification - Progress in Computer Science and Applied Logic 1991 edition
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
| Media | Kirjat Hardcover Book (Sidottu kirja kovilla kansilla sekä suojakannella) |
| Julkaisupäivämäärä | perjantai 1. marraskuuta 1991 |
| ISBN13 | 9780817635930 |
| Tuottaja | Birkhauser Boston Inc |
| Sivujen määrä | 178 |
| Mitta | 155 × 235 × 12 mm · 449 g |
| Kieli | English |
Katso kaikki joka sisältää W. Snyder ( Esim. Hardcover Book Ja Paperback Book )