1. Forside
  2. Bøger
  3. Engelske bøger
  4. Matematisk datateori
  5. The Logic of Typed Feature Structures: With Applications to...

The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution

(Bog, Paperback / softback, Engelsk)
Forfatter: Robert L. (Carnegie Mellon University Carpenter
The Logic of Typed Feature Structures: With Applications to Unification Grammars, Logic Programs and Constraint Resolution
Forlag: Cambridge University Press

Når du handler på WilliamDam.dk, betaler du den pris du ser.

  • Ingen gebyrer
  • Ingen abonnementer
  • Ingen bindingsperioder

Relaterede kategorier

Matematisk datateori
  = Emner / kategorier
  = Sektioner / guides
  = Specialsider
  = Kampagner

Beskrivelse

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.

Læsernes anmeldelser (0)

Alle detaljer

Forlag Cambridge University Press
Forfatter Robert L. (Carnegie Mellon University Carpenter
Type Bog
Format Paperback / softback
Sprog Engelsk
Udgivelsesdato 10-11-2005
Første udgivelsesår 2005
Serie Cambridge Tracts in Theoretical Computer Science
Illustrationer 28 Line drawings, unspecified
Originalsprog United Kingdom
Sideantal 280
Indbinding Paperback / softback
Forlag Cambridge University Press
Sideoplysninger 280 pages, 28 Line drawings, unspecified
Mål 245 x 170 x 15
ISBN-13 / EAN-13 9780521022545