Powiedz znajomym o tym przedmiocie:
A Proof Theory for General Unification - Progress in Computer Science and Applied Logic W. Snyder 1991 edition
Cena
zł 211,90
Zamówione z odległego magazynu
Przewidywana dostawa 12 - 20 sty 2026
Świąteczne prezenty można zwracać do 31 stycznia
Nasi klienci mówią:
Dodaj do swojej listy życzeń iMusic
Również dostępne jako:
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
| Media | Książki Hardcover Book (Książka z twardym grzbietem i okładką) |
| Wydane | 1 listopada 1991 |
| ISBN13 | 9780817635930 |
| Wydawcy | Birkhauser Boston Inc |
| Strony | 178 |
| Wymiary | 155 × 235 × 12 mm · 449 g |
| Język | Angielski |
Zobacz wszystko od W. Snyder ( np. Hardcover Book i Paperback Book )