The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution - Cambridge Tracts in Theoretical Computer Science - Carpenter, Robert L. (Carnegie Mellon University, Pennsylvania) - Libros - Cambridge University Press - 9780521022545 - 10 de noviembre de 2005
En caso de que portada y título no coincidan, el título será el correcto

Carpenter, Robert L. (Carnegie Mellon University, Pennsylvania)
The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution - Cambridge Tracts in Theoretical Computer Science

Precio
$ 69,49
sin IVA

Pedido desde almacén remoto

Entrega prevista 18 de jun. - 7 de jul.

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

This book develops the theory of typed feature structures, a data structure that generalizes both first-order terms and feature structures of unification-based grammars to include inheritance, typing, inequality, cycles and intensionality. The resulting synthesis serves as a logical foundation for grammars, logic programming and constraint-based reasoning systems.

280 pages, 28 b/w illus.

Medios de comunicación Libros     Paperback Book   (Libro con tapa blanda y lomo encolado)
Publicado 10 de noviembre de 2005
ISBN13 9780521022545
Editores Cambridge University Press
Páginas 280
Dimensiones 170 × 245 × 15 mm   ·   453 g
Lengua Inglés  
Editor de series Abramsky, S.
Editor de series Aczel, P. H.
Editor de series Bakker, J. W. De
Editor de series Gurevich, Y.
Editor de series Tucker, J. V.
Editor de series Van Rijsbergen, C. J.

Mere med samme udgiver

Ver todo de Carpenter, Robert L. (Carnegie Mellon University, Pennsylvania) ( Ej. Paperback Book )