Vertel uw vrienden over dit artikel:
A Proof Theory for General Unification - Progress in Computer Science and Applied Logic W. Snyder 1991 edition
Prijs
€ 50,99
Besteld in een afgelegen magazijn
Verwachte levering 8 - 16 jan. 2026
Kerstcadeautjes kunnen tot en met 31 januari worden ingewisseld
Onze klanten zeggen:
Voeg toe aan uw iMusic-verlanglijst
Ook verkrijgbaar als:
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 | Boeken Hardcover Book (Boek met harde rug en kaft) |
| Vrijgegeven | 1 november 1991 |
| ISBN13 | 9780817635930 |
| Uitgevers | Birkhauser Boston Inc |
| Pagina's | 178 |
| Afmetingen | 155 × 235 × 12 mm · 449 g |
| Taal en grammatica | Engels |
Bekijk alles van W. Snyder ( bijv. Hardcover Book en Paperback Book )