A Proof Theory for General Unification - Progress in Computer Science and Applied Logic - W. Snyder - Libros - Birkhauser Boston Inc - 9780817635930 - 1 de noviembre de 1991
En caso de que portada y título no coincidan, el título será el correcto

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

Precio
€ 49,99

Pedido desde almacén remoto

Entrega prevista 13 - 21 de ene. de 2026
Los regalos de Navidad se podrán canjear hasta el 31 de enero

Nuestros clientes opinan:

Política de devolución de 14 días conforme a la legislación europea de protección de los consumidores
Mejor valorado en Trustpilot
Añadir a tu lista de deseos de iMusic

También disponible como:

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

Medios de comunicación Libros     Hardcover Book   (Libro con lomo y cubierta duros)
Publicado 1 de noviembre de 1991
ISBN13 9780817635930
Editores Birkhauser Boston Inc
Páginas 178
Dimensiones 155 × 235 × 12 mm   ·   449 g
Lengua Inglés  

Ver todo de W. Snyder ( Ej. Hardcover Book y Paperback Book )