A Proof Theory for General Unification - Progress in Computer Science and Applied Logic - W. Snyder - Livres - Birkhauser Boston Inc - 9780817635930 - 1 novembre 1991
Si la couverture et le titre ne correspondent pas, le titre est correct.

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

Prix
€ 50,49

Commandé depuis un entrepôt distant

Livraison prévue 8 - 16 janv. 2026
Les cadeaux de Noël peuvent être échangés jusqu'au 31 janvier

Nos clients disent :

Politique de retour de 14 jours conformément à la loi européenne sur la protection des consommateurs
Meilleur classement sur Trustpilot
Ajouter à votre liste de souhaits iMusic

Également disponible en tant que :

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

Médias Livres     Hardcover Book   (Livre avec dos et couverture rigide)
Validé 1 novembre 1991
ISBN13 9780817635930
Éditeurs Birkhauser Boston Inc
Pages 178
Dimensions 155 × 235 × 12 mm   ·   449 g
Langue et grammaire Anglais  

Voir tous les W. Snyder ( par ex. Hardcover Book et Paperback Book )