A Proof Theory for General Unification - Progress in Computer Science and Applied Logic - W. Snyder - Kirjat - Birkhauser Boston Inc - 9780817635930 - perjantai 1. marraskuuta 1991
Mikäli Kansi ja otsikko eivät täsmää, on otsikko oikein

W. Snyder
A Proof Theory for General Unification - Progress in Computer Science and Applied Logic 1991 edition

Hinta
€ 52,99

Tilattu etävarastosta

Arvioitu toimitus ke - to 7. - 15. tammi 2026
Joululahjoja voi vaihtaa 31.1. asti

Asiakkaamme sanovat:

14 päivän palautusoikeus
Huippuarvosana Trustpilotissa
Lisää iMusic-toivelistallesi
tai

Löytyy myös muodossa:

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 Englanti  

Katso kaikki joka sisältää W. Snyder ( Esim. Hardcover Book Ja Paperback Book )