Logic typed feature structures de carpenter robert (12 resultados)

Idioma: Inglés
Editorial: Cambridge University Press 1992
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 11 de 40. Libro 11 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa dura
Librería: Better World Books Ltd, Dunfermline, Reino UnidoBetter World Books Ltd
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Aceptable
EUR 34,32
Envío por EUR 5,78Se envía de Reino Unido a Estados Unidos de AmericaCantidad disponible: 1 disponibles
Condición: Good. Former library copy. Pages intact with minimal writing/highlighting. The binding may be loose and creased. Dust jackets/supplements are not included. Includes library markings. Stock photo provided. Product includes identifying sticker. Better World Books: Buy Books. Do Good.

Idioma: Inglés
Editorial: Cambridge University Press, Cambridge 1992
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 11 de 40. Libro 11 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa dura
Librería: Feldman's Books, Menlo Park, CA, Estados Unidos de AmericaFeldman's Books
Contactar con el vendedorVendedor de 4 estrellasCondición: Usado - Excelente
EUR 39,92
Envío por EUR 3,88Se envía dentro de Estados Unidos de AmericaCantidad disponible: 1 disponibles
Hardcover. Condición: Fine. First Editiion.

Idioma: Inglés
Editorial: Cambridge University Press 1992
Serie: Cambridge Tracts in Theoretical Computer Science, Libro 11 de 40. Libro 11 de 40 - Cambridge Tracts in Theoretical Computer Science
- Tapa dura
Librería: books4less (Versandantiquariat Petra Gros GmbH & Co. KG), Welling, , Alemaniabooks4less (Versandantiquariat Petra Gros GmbH & Co. KG)
Contactar con el vendedorVendedor de 5 estrellasCondición: Usado - Bueno
EUR 27,95
Envío por EUR 15,95Se envía de Alemania a Estados Unidos de AmericaCantidad disponible: 1 disponibles
gebundene Ausgabe. Condición: Gut. 270 Seiten Das hier angebotene Buch stammt aus einer teilaufgelösten Bibliothek und kann die entsprechenden Kennzeichnungen aufweisen (Rückenschild, Instituts-Stempel.); der Buchzustand ist ansonsten ordentlich und dem Alter entsprechend gut. In ENGLISCHER Sprache. Sprache: Englisch Gewicht in…Gramm: 760.

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,74
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 63,88
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,51
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 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 84,59
Envío por EUR 9,04Se 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, 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 63,87
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,09
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,92
Envío por EUR 17,98Se 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, 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,07
Envío por EUR 42,79Se 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.