9780521022545 - logic of typed feature structures: with applications to unification grammars, logic programs and constraint resolution: 32 (cambridge tracts in theoretical computer science, series number 32) de carpenter, robert l. (15 resultados)
Idioma: Inglés
Editorial: Cambridge University Press 2005
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 11 de 40. Libro 11 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa blanda
Librería: ThriftBooks-Dallas, Dallas, TX, Estados Unidos de AmericaThriftBooks-Dallas
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 46,39
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Good. No Jacket. Former library book; Pages can have notes/highlighting. Spine may show signs of wear. ~ ThriftBooks: Read More, Spend Less.
Idioma: Inglés
Editorial: Cambridge University Press 2005
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 11 de 40. Libro 11 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa blanda
Librería: PAPER CAVALIER UK, London, , Reino UnidoPAPER CAVALIER UK
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Como Nuevo
EUR 52,72
Envío por EUR 6,94Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: as new. Appears unread. May have a retail sticker on back cover or remainder mark on the text block.
Idioma: Inglés
Editorial: Cambridge University Press 2005
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 11 de 40. Libro 11 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa blanda
Librería: California Books, Miami, FL, Estados Unidos de AmericaCalifornia Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 64,45
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New.
Idioma: Inglés
Editorial: Cambridge University Press 2005
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 11 de 40. Libro 11 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa blanda
Librería: Ria Christie Collections, Uxbridge, Reino UnidoRia Christie Collections
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 60,49
Envío por EUR 13,85Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. In.
Idioma: Inglés
Editorial: Cambridge University Press 2008
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 11 de 40. Libro 11 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa blanda
Librería: Kennys Bookshop and Art Galleries Ltd., Galway, GY, IrlandaKennys Bookshop and Art Galleries Ltd.
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 68,91
Envío por EUR 10,50Se envía de Irlanda a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. This book develops the theory of typed feature structures and provides a logical foundation for logic programming and constraint-based reasoning systems. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical Compu…ter Science. Num Pages: 280 pages, 28 b/w illus. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 15. Weight in Grams: 450. . 2008. Revised ed. paperback. . . . .
Idioma: Inglés
Editorial: Cambridge University Press CUP 2005
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 11 de 40. Libro 11 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa blanda
Librería: Books Puddle, New York, NY, Estados Unidos de AmericaBooks Puddle
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 85,70
Envío por EUR 3,47Se envía dentro de Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. pp. 280.
Idioma: Inglés
Editorial: Cambridge University Press 2005
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 11 de 40. Libro 11 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa blanda
Librería: Kennys Bookstore, Olney, MD, Estados Unidos de AmericaKennys Bookstore
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 85,35
Envío por EUR 9,13Se envía dentro de Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. This book develops the theory of typed feature structures and provides a logical foundation for logic programming and constraint-based reasoning systems. Series Editor(s): Van Rijsbergen, C. J.; Abramsky, S.; Aczel, P. H.; Bakker, J. W. de; Gurevich, Y.; Tucker, J. V. Series: Cambridge Tracts in Theoretical Compu…ter Science. Num Pages: 280 pages, 28 b/w illus. BIC Classification: UYA. Category: (P) Professional & Vocational. Dimension: 247 x 174 x 15. Weight in Grams: 450. . 2008. Revised ed. paperback. . . . . Books ship from the US and Ireland.
Idioma: Inglés
Editorial: Cambridge University Press 2005
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 11 de 40. Libro 11 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa blanda
Librería: AHA-BUCH GmbH, Einbeck, AlemaniaAHA-BUCH GmbH
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 84,99
Envío por EUR 62,44Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Taschenbuch. Condición: Neu. Druck auf Anfrage Neuware - Printed after ordering - 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 resu…lting synthesis serves as a logical foundation for grammars, logic programming and constraint-based reasoning systems. A logical perspective is adopted which employs an attribute-value description language along with complete equational axiomatizations of the various systems of feature structures. At the same time, efficiency concerns are kept in mind and complexity and representability results are provided. The application of feature structures to phrase structure grammars is described and completeness results are shown for standard evaluation strategies. Definite clause logic programs are treated as a special case of phrase structure grammars. Constraint systems are introduced and an enumeration technique is developed for solving arbitrary attribute-value logic constraints. This book, with its innovative approach to data structure, will be essential reading for researchers in computational linguistics, logic programming and knowledge representation. Its self-contained presentation makes it flexible enough to serve as both a research tool and a text book.
Idioma: Inglés
Editorial: Cambridge University Press, Cambridge 2005
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 11 de 40. Libro 11 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa blanda
- Impresión bajo demanda
Librería: Grand Eagle Retail, Bensenville, IL, Estados Unidos de AmericaGrand Eagle Retail
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 64,44
Gastos de envío gratisSe envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: new. Paperback. 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 foundati…on for grammars, logic programming and constraint-based reasoning systems. A logical perspective is adopted which employs an attribute-value description language along with complete equational axiomatizations of the various systems of feature structures. At the same time, efficiency concerns are kept in mind and complexity and representability results are provided. The application of feature structures to phrase structure grammars is described and completeness results are shown for standard evaluation strategies. Definite clause logic programs are treated as a special case of phrase structure grammars. Constraint systems are introduced and an enumeration technique is developed for solving arbitrary attribute-value logic constraints. This book, with its innovative approach to data structure, will be essential reading for researchers in computational linguistics, logic programming and knowledge representation. Its self-contained presentation makes it flexible enough to serve as both a research tool and a text book. 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. This item is printed on demand. Shipping may be from multiple locations in the US or from the UK, depending on stock availability.
Idioma: Inglés
Editorial: Cambridge Univ Pr 2005
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 11 de 40. Libro 11 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa blanda
- Impresión bajo demanda
Librería: Revaluation Books, Exeter, , Reino UnidoRevaluation Books
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 61,06
Envío por EUR 11,56Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: Brand New. 270 pages. 9.25x6.75x0.75 inches. In Stock. This item is printed on demand.
Idioma: Inglés
Editorial: Cambridge University Press 2005
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 11 de 40. Libro 11 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa blanda
- Impresión bajo demanda
Librería: THE SAINT BOOKSTORE, Southport, , Reino UnidoTHE SAINT BOOKSTORE
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 64,89
Envío por EUR 17,97Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Paperback / softback. Condición: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days.
Idioma: Inglés
Editorial: Cambridge University Press 2005
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 11 de 40. Libro 11 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa blanda
- Impresión bajo demanda
Librería: Majestic Books, Hounslow, , Reino UnidoMajestic Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 85,87
Envío por EUR 7,51Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. Print on Demand pp. 280 67:B&W 6.69 x 9.61 in or 244 x 170 mm (Pinched Crown) Perfect Bound on White w/Gloss Lam.
Idioma: Inglés
Editorial: Cambridge University Press 2005
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 11 de 40. Libro 11 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa blanda
- Impresión bajo demanda
Librería: Biblios, frankfurt am main, HESSE, AlemaniaBiblios
Contactar con el vendedorVendedor de 4 estrellasCondición: Nuevo
EUR 86,47
Envío por EUR 9,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 4 disponibles
Condición: New. PRINT ON DEMAND pp. 280.
Idioma: Inglés
Editorial: Cambridge University Press, Cambridge 2005
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 11 de 40. Libro 11 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa blanda
- Impresión bajo demanda
Librería: CitiRetail, Stevenage, Reino UnidoCitiRetail
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 69,04
Envío por EUR 42,77Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Paperback. Condición: new. Paperback. 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 foundati…on for grammars, logic programming and constraint-based reasoning systems. A logical perspective is adopted which employs an attribute-value description language along with complete equational axiomatizations of the various systems of feature structures. At the same time, efficiency concerns are kept in mind and complexity and representability results are provided. The application of feature structures to phrase structure grammars is described and completeness results are shown for standard evaluation strategies. Definite clause logic programs are treated as a special case of phrase structure grammars. Constraint systems are introduced and an enumeration technique is developed for solving arbitrary attribute-value logic constraints. This book, with its innovative approach to data structure, will be essential reading for researchers in computational linguistics, logic programming and knowledge representation. Its self-contained presentation makes it flexible enough to serve as both a research tool and a text book. 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. This item is printed on demand. Shipping may be from our UK warehouse or from our Australian or US warehouses, depending on stock availability.
Idioma: Inglés
Editorial: Cambridge University Press 2005
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 11 de 40. Libro 11 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa blanda
- Impresión bajo demanda
Librería: moluna, Greven, , Alemaniamoluna
Contactar con el vendedorVendedor de 5 estrellasCondición: Nuevo
EUR 66,08
Envío por EUR 48,99Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: Más de 20 disponibles
Condición: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. 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, cycl…es and intensionality. The resulting syn.
